论文部分内容阅读
本文论述了SOC正确性验证所使用的模拟，形式验证技术和静态验证技术等，并讨论了在设计过程中系统级、模块级、门级和物理级各个层次中的验证方法。
SOC设计验证讲述
【摘 要】
：
本文论述了SOC正确性验证所使用的模拟，形式验证技术和静态验证技术等，并讨论了在设计过程中系统级、模块级、门级和物理级各个层次中的验证方法。
【机 构】
：
北京大学微电子学研究院
【出 处】
：
中国集成电路
【发表日期】
：
2004年5期
其他文献
目的 研究胃腺癌组织中P53C—erbB一2PCNA VEGF CD34表达与分化程度及转移的病理学意义。方法 采用S—P免疫组织化学方法，对67例胃腺癌进行五项免疫组化检测，数据经SPSSll．O国际
全装修住宅既是房地产业成熟的标志，也是我国住宅产业化发展的必然结果，符合世界住宅业发展的潮流，推行全装修住宅势在必行。南京建邺城镇建设开发集团有限公司率先实行了住宅全
日前，ARM公司在北京成功举办2004年度ARM技术研讨会，本次研讨会的主题是：协同创新，迎接32位浪潮。来自ARM公司的高层和技术经理以及一些著名的ARM合作伙伴就ARM公司最新的发展、A
氧化型低密度脂蛋白胆固醇（oxidized low density lipoprotein cholesterol，ox-LDLC）和高敏C反应蛋白（high sensitive Creactive protein，hs—CRP）与冠心病的发生发展有着密切的联
改革开放以来，我国辞书业的发展进入了一个新的时期，无论是辞书品种、发行数量还是从业人数都可以说步入了辞书大国的行列，但也面临着辞书理论研究不够、设计理念陈旧、总体质量
《韵府群玉》是成书于元代的一部重要著作，它既是一部韵书，也是一部类书。此书体例较为严谨，特色鲜明，是清代官修大型工具书《佩文韵府》的蓝本。然而，《佩文韵府》刊行后，《韵府群
今年初，楼市弃弱转强，持续数月；时至7月，强势显现疲态。市场又现轮浮沉。此时，传统意义中的热销旺季“金九银十”将至，在市场历经周期波动下，“金九银十”尚存多少现实意义？
EDA技术始终是集成电路设计领域的一个重要课题。因为它涉及了系统、芯片以及电路板设计等诸方面的因素。随着电子设计业的不断发展,SOC设计已成技术主流并逐渐成熟,系统设计
针对功率分流式混联混合动力公交车,研究电子无级变速器(electric variable transmission,EVT)电机动态模型的建立以及协调控制问题。首先,基于永磁同步电机工作原理,建立电