SoC自动化验证方法的研究与实现

为解决SoC(System-on-Chip)验证覆盖率和工作量问题,基于可重用思想、采用事务验证模型、随机激励生成的方法,建立了一个层次化的具有自主知识产权的自动化功能验证系统(LSAVS:LiShan Automatic Verification System)。采用该验证系统后,SoC验证工程师开发测试向量的工作量由使用传统验证方法的60%降低到10%,同时保证了功能验证100%的覆盖率,达到快速高覆盖率的验证目的。

一种抗辐照加固1553B总线差分接收器的研制

介绍了一种低功耗的抗辐照加固5 V1 Mbit.s-11553B总线差分接收器的研制,该电路可实现总线信号接收的功能。电路设计采用商用BCDMOS Process,不仅对总线上的高频噪声有滤波作用,而且对总线上的共模信号进行抑制,在解决输出脉宽、接收阈值、输出多脉冲、输出脉宽展宽、总线偏移等问题的同时,降低了芯片的功耗。此外,基于普通商用体硅BCD工艺线,通过版图设计对闩锁效应、场区和电参数的辐射效应进行加固。流片测试试验结果表明,电路的性能良好,可广泛用于1553总线系统。

一种新的基于云理论和随机过程的可靠性评估方法

为解决系统可靠性评估中不确定性的问题和定性与定量信息转换的困难,结合随机过程可靠性分析方法和云理论,提出了一种新的可靠性评估方法.将云理论融合到随机过程可靠性分析方法中,利用云模型描述系统的状态转移.同时,构造系统定性评价中的云标尺,将系统可靠性评估中的定量变量和定性变量对应起来.该方法考虑了系统可靠性评估中的随机性和模糊性,研究了系统可靠性中的定量表示和定性评价之间的对应关系,结果是语言值,很直观.通过这个方法,找到语言值描述的系统特性与定量数值描述的系统特性之间的对应关系,能够准确理解和使用这些系统评估中的语言值.最后用一个实例验证了该方法的适用性.