【摘 要】
：
随着集成电路设计复杂性的日益增加,功能验证已成为整个设计流程的瓶颈.传统的模拟验证方法需要大量的时间,而且不能获得完全的覆盖率;形式验证方法是模拟方法的重要补充,它无需产生测试激励,不仅能够缩短设计周期,而且能够达到完全的功能覆盖率.本文介绍了目前应用最广泛的一种形式验证方法——等价性检验在一款通用CPU设计验证中的应用,包括RTL设计与门级网表、门级网表与门级网表、RTL设计与RTL设计之间的功
【机 构】
：
浙江林学院信息系(杭州);中国科学院计算技术研究所信息网络研究室(北京) 浙江林学院信息系(杭州)
论文部分内容阅读
随着集成电路设计复杂性的日益增加,功能验证已成为整个设计流程的瓶颈.传统的模拟验证方法需要大量的时间,而且不能获得完全的覆盖率;形式验证方法是模拟方法的重要补充,它无需产生测试激励,不仅能够缩短设计周期,而且能够达到完全的功能覆盖率.本文介绍了目前应用最广泛的一种形式验证方法——等价性检验在一款通用CPU设计验证中的应用,包括RTL设计与门级网表、门级网表与门级网表、RTL设计与RTL设计之间的功能等价性验证.文章着重讨论了快速完成验证任务的方案,以及验证过程中一些常见问题的解决办法.
其他文献
传统企业融入网络经济,将是未来经济发展的方向,必须以积极的心态,根据自身条件主动和稳步地推进,才能在信息化带动工业化的潮流中,站稳脚跟,不被淘汰.本文对比国内外网络经济的理论与实践情况,介绍了传统企业融入网络经济及面临的主要问题,提出了传统企业融入网络经济的主要对策.
本文对荧光增白剂OB-1合成工艺进行了研究。文章围绕对甲基苯甲酸甲酯法、4,4-二苯乙烯二羧酸法、Wittig反应法、空气氧化法、2-苯并噁唑法、4-双苯乙烯苯甲酸不对称合成法、对氰基氯苄二聚法等生产工艺进行了论述。
本文对我国染料工业的进步与近期任务进行了分析。文章围绕我国染料工业在世界染料工业中的地位、我国染料生产组织结构、环保的促进和制约、染料品牌的创建等进行了论述。
本文就当前毛纺环保上出现的几个热点如重金属离子、染色的湿摩擦达标、染化料新禁用对象、染料的废水残留、VOC气体残留、锦纶减少沾色、分散染料改善热迁移、活性染料浅色提高日晒牢度等问题作一研讨.
以间-三氟甲基溴苯为原料,通过与异丙基溴化镁的交换反应得到间-三氟甲基溴苯的格利雅试剂,再与CO2反应,最后用50％H2SO4酸化制备了间-三氟甲基苯甲酸.研究了不同溶剂、物料比、反应温度等影响因素,并得到最优化条件,收率达到70％.
目前我国许多印染企业在近几年来纷纷完成了ISO 9000质量管理体系认证工作,在完善了质量管理的基础上,进一步开展质量成本管理,在提升竞争力的过程中充分发挥质量体系应有的作用.本文介绍了质量成本的概念、组成和意义,并对获证企业如何开展好质量成本管理方法提出了几点建议.
本文主要围绕Reactex HQ-L系列活性染料时纯棉织物进行染色时的工艺条件进行研究,通过对不同工艺因素(染色温度、盐用量、碱用量、浴比等)的研究,确定了比较合理的染色工艺.
纺织品的染色牢度是评价其质量的重要指标,也是是否达到"生态纺织品"的主要指标之一.但是活性染料深浓色织物的湿牢度和湿摩擦牢度,浅色织物的日晒牢度,以及分散染料因热迁移现象而造成的色牢度下降成为近几年业界讨论的热点.本文重点从工艺合理化提高染色牢度详细分析讨论,以期获得一定效果.就涤/锦和棉/锦交织物提高染色牢度提出看法.
本文对低芳胺、新型靛蓝的制造进行了研究。文章围绕靛腈制造、靛酸盐制造、低芳胺靛蓝的制造、低芳胺新型靛蓝的制造等进行了论述。
本文对甲(月朁)型活性染料及其构效关系进行了探讨。文章围绕甲(月朁)为母体的活性染料、甲(月朁)活性染料的合成、甲(月朁)活性染料的结构和光谱性能、甲(月朁)活性染料的应用性能等进行了论述。