【摘要】提出了一种基于时序等价性检查技术的组合逻辑单元系统级可靠性分析理论和方法,并基于VIS系统下用C语言实现了原型工具。实验结果表明本方法可以成功筛选出逻辑电路中的敏感点,为后续优化设计提供指导。
【关键词】
全文来源于知网
基于LabVIEW的GPS信号捕获算法实现 王奇波 , 秦红磊 , 王耿锞 2013 10 0 ¥:0
收藏
数字坝区综合管网GIS空间数据库的设计与实现 冯德鸿 , 邓小炼 , 刘勇 2013 82 0 ¥:0
收藏
基于iOS系统的安全性研究 凌宁 , 张文 , 牛少彰 2013 124 0 ¥:0
收藏
一种基于正常读带宽的数据修复方法 郑涵 , 陈海涛 , 卢宇彤 2013 142 0 ¥:0
收藏
基于规则引擎的自动运维虚拟器件模型 倪舜谦 , 史殿习 , 郭长国 2013 217 0 ¥:0
收藏