论文部分内容阅读
介绍了等效性验证以及等效性验证工具Formality在整个ASIC设计流程中的应用。针对在使用Fomality进行等效性验证中出现的仿真与综合逻辑不匹配的问题进行了讨论，并提出解决方案。
使用Formality中的几个问题
【摘 要】
：
介绍了等效性验证以及等效性验证工具Formality在整个ASIC设计流程中的应用。针对在使用Fomality进行等效性验证中出现的仿真与综合逻辑不匹配的问题进行了讨论，并提出解决方
【机 构】
：
西北工业大学软件与微电子学院
【出 处】
：
科学技术与工程
【发表日期】
：
2007年5期
其他文献
应用系统集成是近年来的热点话题，它涉及信息技术众多领域。首先对基于XML和XSLT的集成作了概要性的介绍，然后对应用集成中的新概念、方法、技术、解决方案作了一定的探讨，通过
目的总结脑梗死后癫痫的临床特点，为诊治提供依据。方法对近10年来我院收治的28例脑梗死后癫痫患者的临床资料进行回顾性分析。结果结果脑梗死是癫痫的直接原因，其发作与病灶部
中国已经加入世界贸易组织十余年，这十余年间我国的保险市场已经全面对外开放。毫无疑问，这既给我国的保险业带来无限的发展机遇，同时，也是我国保险市场的竞争更加激烈，这种竞争是
成都大学是由四川省和成都市共建、成都市重点建设的综合性大学。成都大学特殊教育系在专业与学科建设方面,始终坚持以服务城市发展需求为出发点,通过打造方向明确的学术与教
结核性脑膜炎（TBM）是一种常见而严重的中枢神经系统感染性疾病，是由结核分枝杆菌引起的一种慢性颅内感染，占全身结核病的6％。新型隐球菌性脑膜炎（CNM）是由新型引球菌感染脑膜和脑实
从1995粼中华人民共和国仲裁法》实施到今天已经是第十八个年头，但时至今日，不仅仲裁的行政化、诉讼化倾向严重，而且至今都没有能够真正确立仲裁机构的身份定位。因此，我国仲裁制