【摘 要】
：
Formal Check是一种形式验证工具。它可以验证设计的功能,但是并不需要使用测试向量。该工具用在寄存器传送级的设计阶段,在对整个芯片或者对嵌入的芯核综合之前进行验证。
论文部分内容阅读
Formal Check是一种形式验证工具。它可以验证设计的功能,但是并不需要使用测试向量。该工具用在寄存器传送级的设计阶段,在对整个芯片或者对嵌入的芯核综合之前进行验证。首先,用可综合的Verilog或者VHDL语言将你的设计输入验证系统。然后再按照系统给出的询问模块
Formal Check is a formal verification tool. It validates the design’s functionality, but does not require the use of test vectors. This tool is used at the design stage of the register transfer stage to verify the entire chip or the integrated core before embedding it. First, enter your design into a validation system in a synthesizable Verilog or VHDL language. Then follow the system to give the inquiry module
其他文献
河南省军队转业干部安置工作会议前夕,省委书记卢展工对做好军转安置工作给予重要指示:军转干部是党和国家的宝贵财富,是重要的人才资源。他们在服役期间为国防和军队建设奉
“远南”运动会是一项系统的文明工程,它能体现爱国主义、集体主义、人道主义精神,能体现自强不息、顽强拼搏、振兴中华的精神,是展示首都改革开放和现代化建设风貌的机会,也
人们不会忘记“钻木取火”的故事。火,是文化,是进步,是智慧。人类因为有了火的燃烧,才会有今日的辉煌。周总理的嘱托 1976年1月8日,辛勤操劳一生的周恩来总理不幸逝世,此时
试验设计6种催芽方法,对兴安落叶松种子进行了试验研究,经实验室发芽检验,结果表明,催芽种子比不催芽种子发芽率提高38%～72%,发芽势提高47%～58%.并筛选出兴安落叶松种子催芽应
国际整流器公司(IR)最近推出新的SMD-10 表面贴装器件。新型封装的产品能够提供很大的功率,体积却缩小了一半,不仅能够降低成本,并且适合于新一代贴片机进行装配。
Interna
稳压泵的联想公安部天津消防科研所高级工程师郑观雄采用消防稳压泵是一门值得推广的新技术。稳压泵技术起源于七十年代美国等工业发达国家。它以自身的优越性能证明，在消防给
本文提出遥感系列制图的原则,详细阐述了判读制图的方法步骤,建立了彩红外航空像片土地利用现状主要类型的判读标志。还对面积量算和成图精度进行了全面分析。研究证明遥感系
在讨论多构件斜面机构的自锁条件和效率时,需要对机构进行受力分析,作力多边形图,找出各力之间的夹角,建立主动力和工作
When discussing the self-locking condition and
介绍了博沂路改建工程施工过程中针对路基拓宽容易出现的一些质量通病的处置方式, 施工后效果良好。
This paper introduces some ways of dealing with quality common pro
目的摸清驻山东省部队营区革螨种群分布,评价防治效果。方法收集鼠体革螨,并进行分类鉴定,同时采取以环境治理为主,化学灭鼠为重点的综合防治措施灭革螨。结果驻山东省18个地