【摘 要】
：
采用Synopsys公司的逻辑等价性验证工具Formality,针对状态机逻辑电路进行逻辑等价性验证.介绍了验证的基本流程和具体步骤,具体分析了在逻辑等价性验证过程中出现的由安全设
【机 构】
：
北京控制工程研究所,北京轩宇信息技术有限公司
论文部分内容阅读
采用Synopsys公司的逻辑等价性验证工具Formality,针对状态机逻辑电路进行逻辑等价性验证.介绍了验证的基本流程和具体步骤,具体分析了在逻辑等价性验证过程中出现的由安全设置、状态机耦合性和广义状态机等引发的常见状态机验证失败问题,并最终提出有效、可靠的解决方案.结果表明,采用Formality针对大型复杂的FPGA状态机进行逻辑等价性验证,能大幅度降低验证周期,提高验证正确性,从而进一步提高航天产业背景下FPGA产品的可靠性.
其他文献
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
本文以冲天炉熔化制铸铁为例,从管理和技术措施上简要阐明铸造过程中,排放粉尘、有害气体、噪声、废水及工业固体废物.从管理上,把分散的布局,小规模的生产厂(车间)进行合理
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
目的：探讨布比卡因腰麻用于高龄患者TURP的最小有效剂量。方法：60例高龄患者在腰硬联合麻醉下行TURP。按所用布比卡因剂量不同随机分为三组,每组20例。Ⅰ组用3mg,Ⅱ组4.5mg,Ⅲ
在医院信息化蓬勃发展的大背景下，本文结合新形势下医院后勤的发展，分析了医院后勤信息化建设的必要性，提出了后勤信息化建设的特点，最后对构建后勤信息化系统进行了探索。
采用断裂力学理论对钢桥节点承载力和高强度螺栓强度进行分析，结果表明该理论力学概念明晰，可操作性强，得出的结论合理可靠。
市场经济中,会计作为一个重要的信息系统和管理工具,以其特殊的功能,调节着社会经济关系,引导着市场要素的流动,优化资源的配置,经营者越来越多地依靠会计信息进行管理,反映
那一天，许许多多的科学知识让我大开眼界；那一天，形形色色的花卉树木令我惊叹不已；那一天，大大小小的鱼儿让我倍感兴奋，都因我来到了美丽和谐的绍兴农校。美丽花卉让我看得心旷神怡
催化裂化汽油铜片腐蚀合格是重要的国标之一,但由于将重油作为催化裂化原料而使部分催化裂化汽油铜片腐蚀不合格.采用国标试验方法和现代仪器分析方法,探讨了单一硫化物及汽
美国《金融服务现代化法案》结束了 2 0世纪 3 0年代形成的金融分业经营和管理的历史 ,它不仅给美国金融业发展带来很大的机遇与空间 ,而且也给美国 ,甚至全球金融监管理念和