论文部分内容阅读
本文介绍了仿真验证与形式验证的功能，重点讨论了等价性验证在SOC设计中的应用及基本流程，分析了等价性验证过程中常遇到的一些问题并给出了解决方案，实验显示，该验证方法可准确快速的发现设计的错误，提高验证效率。
等价性验证在Soc设计中的应用
【摘 要】
：
本文介绍了仿真验证与形式验证的功能，重点讨论了等价性验证在SOC设计中的应用及基本流程，分析了等价性验证过程中常遇到的一些问题并给出了解决方案，实验显示，该验证方法可准确
【机 构】
：
中国电子科技集团第38研究所
【出 处】
：
中国集成电路
【发表日期】
：
2014年4期
其他文献
目的探讨临床护理路径在颅脑出血护理中的应用效果。方法选取本院自2010年1月--2013年1月收治的90例脑出血患者，将患者随机均分为护理组和对照组。对照组进行常规护理，护理组在
党的“八大”是我们党的历史上召开的一次最成功的全国代表大会之一，它首次向全党和全国人民展示并指明了一系列建设、巩固和发展社会主义的战略决策、战略方针及原则，即党的“