基于AI加速的可复用FPV平台库

形式验证FPV可将DUT抽象为状态空间进行遍历,针对动态仿真难以随机到的边界场景、异常场景和复杂组合场景可提高收敛速度,增强验证质量。但高质量Property开发对验证人员能力有较高的要求。面对该挑战,基于Cadence公司Jaspergold ABVIP提出了一种可复用FPV平台库解决方案,可在不同模块之间重用,降低FPV验证平台搭建时间,提升Property质量,同时借助其AI工具Proof Master生成加速Proven效率的database。FPV平台库+AI Database已在中兴微电子某车规项目落地并复用,发现动态仿真遗漏的4个故障。Proof Master可应用于项目全周期内,回归效率平均提升80.17%,FPV平台库+AI database可提升FPV初次Proven效率44.96%。与此同时对生成式大模型提升Property编写效率做了一定探讨。

光电成像系统的绝对光谱响应效率测量及分析

为了准确测量光电成像系统的绝对光谱响应效率,采用光学系统光能量传递公式以及图像传感器的物理模型,得到了光电成像系统绝对光谱响应效率的计算公式,在此基础上设计了基于积分球、多光谱发光二极管光源、标准探测器及透射式平行光管的光电成像系统绝对光谱响应效率测量装置,并对光谱响应效率已知的可见光数字相机进行实验测量和分析。结果表明,在380nm~1100nm波长范围内测量装置测得的可见光数字相机的绝对光谱响应效率与标准值具有较好的一致性,最大相对误差为1.7%,各波长点的测量不确定度在置信概率为95%时均小于0.2%,满足一般的测量要求。该装置能够准确地对光电成像系统的绝对光谱效应效率进行测量。