【摘 要】
：
随着集成电路的设计规模不断增大，功能验证逐渐成为整个设计过程中的瓶颈。传统验证方法已经难以适应。事务级验证与传统验证方法比较，事务级验证具有更高的抽象层次，验证效率得
【机 构】
：
杭州电子科技大学微电子CAD研究所
【基金项目】
：
浙江省科技厅重大科技计划资助项目(2005Z10052)
论文部分内容阅读
随着集成电路的设计规模不断增大，功能验证逐渐成为整个设计过程中的瓶颈。传统验证方法已经难以适应。事务级验证与传统验证方法比较，事务级验证具有更高的抽象层次，验证效率得到了提高。本文对事务级验证方法进行了简要介绍，说明了事务级验证的实现方法，提出了一种基于事务USB设备接口IP核验证平台，该验证平台具有较高的自动化程度和较强的可重用性。
其他文献
为了更好的适应在不同环境下的气候和地理要求，对于所有不良的坝址地基都要经过处理后才可以用来筑坝。对于极端恶劣的气候，土石坝是唯一的可以选择的坝型。
为了研究烟草航天诱变育种规律，充分利用该技术创制烟草育种材料、培育新品种，利用航天诱变技术处理9份我国主要烟草品种（系）种子，繁育多代待其性状稳定后，在每个品种（系）中随机选择2
尽管我国社会经济发展迅猛,但我国食品安全问题严重威胁着人们的生命健康,例如禽流感、H7N9流感、台湾发生的H5N2与H5N8流感等造成的大量人畜伤亡,而且造成了巨大的经济损失,
优良家风是对大学生实施道德文化自觉教育的重要途径和手段,在大学生道德文化自觉养成方面起着重要作用。针对当前我国高校大学生道德文化自觉养成不容乐观的现状,应积极发挥
小学美术是培养和提升学生综合全面素养，陶冶学生情操的重要科目，也是小学阶段教学改革的重头戏，我们现在越来越重视小学美术课堂的高质量发展，其中一个重要的方向就是引导学生发
在水溶液中进行增能钝感,制备了改性单基发射药样品。通过显微红外光谱法测定了所得发射药中功能组分的浓度分布。采用密闭爆发器和内弹道实验法,研究了发射药的动、静态燃烧
选取长江经济带上游地区共4个省47个市州为研究地域,以各地区专利授权量为评价指标,对长江经济带上游地区创新能力的空间分布差异进行分析。研究结果表明:第一,从总体空间分
以公共管理学、社会学相关理论为依据,通过实证调研、参考文献资料、现场访谈等方法,剖析农村体育公共服务的有效性,从场地设施、经费投入、活动组织、健身指导和信息提供等
滨南油田单16块沙三下亚段以厚层块状砂砾岩为主，夹薄层泥岩，测井解释难度较大。这里以取心井岩心分析为基础，分别研究砾岩、砂砾岩储层岩性、物性、电性和合油性相互之间的关系
基于验证元的口令认证密钥交换协议的最基本安全目标是抵抗字典攻击和服务器泄露攻击。利用双线性对的性质给出了一个基于验证元的三方口令认证密钥交换协议，有如下特点：能够抵