【摘 要】
：
以提供逻辑综合工具著名的Synopsys公司,又增加了门级验证工具Formality(形式上等效的验证工具)。使用等效验证工具,可以验证同一设计的两种表达方式在逻辑上是否完全等同。
论文部分内容阅读
以提供逻辑综合工具著名的Synopsys公司,又增加了门级验证工具Formality(形式上等效的验证工具)。使用等效验证工具,可以验证同一设计的两种表达方式在逻辑上是否完全等同。这种新的形式验证工具和传统的事件驱动仿真工具或者节拍式仿真工具相比,具有的优点为:不需要测试向量(和静态时序分析工具一样)。
Synopsys, known for providing logic synthesis tools, has added Formality, its gate-level verification tool. Using equivalent validation tools, you can verify that two expressions of the same design are logically identical. This new formal verification tool offers the following advantages over conventional event-driven simulation tools or beat simulation tools: no test vectors required (same as static timing analysis tools).
其他文献
在１９９１年冬被皆伐的残次阔叶林中，１９９３年进行抚育间伐、补植造林、封山等措施试验表明，抚育间伐试验林生长快，１９９４年平均树高３．２ｍ．改造后１９９３～１９９４年两年树高生长量１．８ｍ，与集约经营的１９９２年新造菇木林相近，菇本产量高
本文以系统工程的观点,以城市客流分布图为基本依据,探讨了公交线路系统的规划与设计,提出了在公路网上进行客流分配的QC法。
In this paper, the system engineering point
直握拍比较横握拍而言 ,技术种类更多样 ,且易于变化。直板快攻的发展方向 :加强创新意识 ;要在“巧”和“变”上做文章 ;不断强化前三板技术 ;改进提高“直板横打”技术
St
有关周边不变形闭口薄壁杆件的约束扭转效应,在现行出版物中有多种理论的解析方法,根据这些理论计算将会得出相差很大的计算结果。文献[2]指出,按照有的理论计算所得的应力
运用心理学原理,分析、研究会计人员工作的心理状态,对于搞好会计工作有重要的意义。本文主要谈一谈会计人员的单调心理问题。会计是通过记帐、算帐、报帐和分析等方法来达
会计改革是一项系统工程,必须运用系统思想从纵横两方面来研究。纵向研究是从现有会计模式出发,寻找其症结和赖以生存的根基,把握重新构造会计模式的历史起点。横向研究是把
人才流动问题,自小平同志提出“尊重知识,尊重人才”以来,已为大势所趋.我们主张扩大人才流动的范围,加快人才流动的步伐,研究解决人才流动工作中存在的问题. 会计人才流动
“矛盾”概念,在哲学与逻辑学两门学科中广泛运用,是一个极为重要的范畴。学术界普遍认为,这两门学科在使用“矛盾”概念财候,彼此所赋予的涵义是完全不一样的,其作用也不相
对体操基本技能的构成、体操基本技能规范化的培养途径和方法做了探讨性研究 ,旨在为提高高师院校体操教学质量提供参考
The basic skills of gymnastics constitute the ba
根据田径教学的特点，运用反馈原理设计、检查、调控与改进教学，教师能及时获得反馈信息，对学生的学习过程加以全面控制，实践中收到了良好的效果．
According to the characteristi