【摘 要】
：
为了提高芯片设计中功能验证环节的效率,提出了一种对系统的功能特性归类划分、自动选择适合的验证技术的协同验证方法,构建了多种验证技术之间无缝协作的平台.该协同验证方
论文部分内容阅读
为了提高芯片设计中功能验证环节的效率,提出了一种对系统的功能特性归类划分、自动选择适合的验证技术的协同验证方法,构建了多种验证技术之间无缝协作的平台.该协同验证方法所依据的策略是:特定的功能特性采用特定的验证技术更有效.因此,利用不同验证技术的互补验证能力,可提高验证效率.协同验证平台的实现是基于从控制数据流图得到的细化模型,该细化模型采用了包括特性分组、变量重排、结构细化等模型优化技术,以提高验证速度.根据在ITC99上的验证,证明了该协同验证方法的有效性和实用性.
其他文献
讨论了禁核试验条件下核武器绿色设计制造的内涵和特点,指出其实质应是通过网络化协同技术实现绿色化;提出了实现核武器绿色制造的关键技术:基于复杂产品建模技术和异构信息
专利主张实体(PAEs)的出现是专利制度发展过程中的副产物,是专利商品化与资本化异化的结果。在当前经济全球化与技术全球化日益加强的背景下,起源于美国的PAEs正向其他国家蔓
为解决柔性装配系统的设备调度问题，提出了一种将基于延时Petri网的装配过程仿真与基于遗传算法相结合的调度方法。在该方法中，遗传算法使用的染色体是由延时Petri网模型中的部
研究了现代制造环境中集成质量系统与企业资源计划系统的深层次集成机制,提出了多视图融合的概念,从管理层次、信息分类、业务空间与集成深度4个方面组织和描述了集成质量系
在移动数据库中,数据缓存普遍采取实体化视图的方式,数据更新通过传输增量部分,以降低对网络带宽的要求.但是,以前的增量更新算法在无线带宽急剧下降的情况下,会引起数据更新
研究了一类具有顺序无关模糊产品切换时间和成本以及模糊单位加工时间和成本的并行机间歇过程调度问题，目的是确定每种产品在每个设备上处理的批次数目、批量以及批次顺序，优化