【摘 要】
:
采用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
在医院信息化蓬勃发展的大背景下,本文结合新形势下医院后勤的发展,分析了医院后勤信息化建设的必要性,提出了后勤信息化建设的特点,最后对构建后勤信息化系统进行了探索。
市场经济中,会计作为一个重要的信息系统和管理工具,以其特殊的功能,调节着社会经济关系,引导着市场要素的流动,优化资源的配置,经营者越来越多地依靠会计信息进行管理,反映
催化裂化汽油铜片腐蚀合格是重要的国标之一,但由于将重油作为催化裂化原料而使部分催化裂化汽油铜片腐蚀不合格.采用国标试验方法和现代仪器分析方法,探讨了单一硫化物及汽
美国《金融服务现代化法案》结束了 2 0世纪 3 0年代形成的金融分业经营和管理的历史 ,它不仅给美国金融业发展带来很大的机遇与空间 ,而且也给美国 ,甚至全球金融监管理念和