论文部分内容阅读
本文在研究了传统的VLSI设计中采用的功能验证方法后，分析了各种方法的特点和不足之处。提出了一种新型的适合于大规模集成电路功能验证的新方法，详细介绍了这种功能验证方法的度量进度机制和验证完备性判断依据．并给出了这种新方法的操作流程和关键点。
VLSI设计中一种新型的功能验证方法
【摘 要】
：
本文在研究了传统的VLSI设计中采用的功能验证方法后，分析了各种方法的特点和不足之处。提出了一种新型的适合于大规模集成电路功能验证的新方法，详细介绍了这种功能验证方法的
【机 构】
：
成都医学院教育技术中心
【出 处】
：
微计算机信息
【发表日期】
：
2006年12Z期
其他文献
立德树人是当前我国教育领域非常重要的教学改革主题。初中信息技术教师不仅需要指导学生学会信息技术基础知识,更需要引导学生树立正确的网络价值观,从而在使用网络的过程中
针对长航时惯性导航系统面临的位置误差发散问题,论文提出一种基于非线性滤波的重力匹配定位算法。该算法利用惯性导航系统误差模型构造滤波状态方程,并结合地球重力场具备的
台湾学者李丰楙长期致力于中国道教文学研究,发凡起例,已经形成了一个很有特色的学术流派。其学术研究的教派史视野、民族本位立场和宗教诗学的理论建构,为中国宗教文学史的
明代不仅是八股文的形成发展期，也是八股文批评的发展和繁盛期，出现了众多在八股文批评史上有重要影响的批评家，陈名夏以其对八股文制作的基本原则的阐述、明代重要大家制义风格
国际教育根据知识生成特征变化及社会高速发展对创造性人才综合素养的要求,开始逐渐重视打破学习领域界线,弹性调整课程知识,探讨多元综合的大模块教学或专题式教学,以符合知
施工技术资料是建筑工程顺利竣工验收的基础,是维护与管理好工程、支撑改建或扩建工程的原始依据性资料,一套真实完整的施工技术资料可真实再现施工全过程。近年来,我国相关
为筛选出适合于香蕉开放式组培的抑菌剂种类和浓度,以巴西蕉为研究对象,探究不同种类和浓度的抑菌剂对香蕉组培苗增殖与生根生长的影响,为今后香蕉开放式组织培养的进一步研
超低空突防是目前中东和叙利亚战场上广泛采用的进攻策略,针对超低空武器隐蔽性和突然性的特点,本文从雷达对低空目标的识别,导弹对目标的锁定以及弹目遭遇姿态对引战配合的
在一系列双边条约的基础上,1972年,联邦德国和民主德国合作关系开始确立。对民主德国而言,两德来往促进了经济发展,也危害了国家的长期稳定。但两德合作有利于世界与欧洲的和
本文根据关联规则和分类规则的概念与表示形式，指出在关联规则挖掘过程中如果指定挖掘与一个确定的项相关联．那么就是分类规则挖掘了，论述了分类规则是特殊情况下的关联规则，并指