论文部分内容阅读
Soc设计需要详细的验证,但是传统验证方式工作量巨大.基于事务的验证方法是一种高层次的抽象的验证方法,它可以显著减少验证所需要的时间和精力,提高设计效率,增强设计信心,并能够迅速发现设计缺陷,提高产品质量以及缩短设计周期.
基于事务的SoC验证策略
【摘 要】
：
Soc设计需要详细的验证,但是传统验证方式工作量巨大.基于事务的验证方法是一种高层次的抽象的验证方法,它可以显著减少验证所需要的时间和精力,提高设计效率,增强设计信心,
【机 构】
：
浙江大学超大规模集成电路设计研究所
【出 处】
：
半导体技术
【发表日期】
：
2002年6期
其他文献
针对计算机入侵检测和生物免疫所具有的高度相似性，提出了一种基于网络数据基因表达方法基础之上的人工免疫入侵检测模型。使用了克隆选择算法，并通过适应度和亲和度相结合的保
文章采用偏离-份额分析法将四川工业经济的37个具体产业部门的2007年到2011年的增长分解为份额分量、结构偏离分量和竞争力偏离分量三个部分进行研究,并在此基础上对其产业竞
复杂多变的市场环境促使越来越多的公司采取创业导向战略。本文在总结影响公司创业导向因素的基础上,结合公司所具备的创业导向的水平及维度,考察创业导向、环境动态性和创业
:通过实例介绍了基于Solid Edge的异型零件快速原型的方法,总结了实现该过程的技术要点.
1978年以来我国开始的政治经济改革,是巨大而深刻的制度变迁和社会转型过程,开辟了我国迅速走向现代化的道路。计划经济转变为市场在配置资源上发挥了市场经济的重要作用,使
春化作用是某些高等植物成花转变的重要环节,被认为是植物在低温诱导下促使其相关基因的表达,从而导致生理状态转变的一种遗传控制的生理过程。综述了近60多年来有关冬小麦春
继2006年我国部分行业出现价格水平上涨问题,2007年出现了较大规模的上涨。本文论述了对2007通货膨胀的理解、发生原因、治理政策以及对以后经济管理方面的经验教训。
本文介绍一种利用PWM技术通过数字阀的出油口压力控制,实现对变量泵流量输出的连续控制,并利用输入补偿减小负载变化对系统速度的影响,从而提高容积调速系统的速度稳定性.
介绍了以FPGA为设计核心的16位数字波形发送和接收插件及其工作原理.插件为6U的VME插件,可以用于电子学数据采集和控制系统及其调试.
生态经济是一项科技含量很高的高成本产业,需要强有力的科技依托。本文在对协同商务理论阐述的基础上,重点分析了协同商务在区域生态经济发展中的经济效益、资源配置和信息共