功能覆盖率驱动的自适应遗传算法验证技术

来源 :微电子学 | 被引量 : 0次 | 上传用户:lblb0628wto
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
根据不同功能测试点在芯片代码中的逻辑深度与相应测试向量覆盖到的测试点多少的关系,对不同测试点设置了相应的权重,提出一种基于自适应遗传算法的激励向量生成方法。实验结果表明,该方法能减少编写约束文件时间,较快自动搜索有针对性的测试激励,提高芯片功能验证的可靠性和仿真效率。 According to the relationship between the logic depth of different functional test points in the chip code and the test points covered by the corresponding test vectors, corresponding weights are set for different test points, and a generation method of the excitation vector based on the adaptive genetic algorithm is proposed. The experimental results show that this method can reduce the time for writing constraint files, search for targeted test stimuli quickly, and improve the reliability and simulation efficiency of chip functional verification.
其他文献
我对内蒙的塞罕坝有着特殊的喜爱。这里的一年四季都展现着迷人的魅力,尤其是冬天,一片连绵起伏的白色雪世界令人陶醉,纯洁而宁静,虽然寒冷却让人心旷神怡。因此每年冬天,我
期刊
介绍了一种大容量的SRAM编译器设计技术。根据SRAM容量和结构,提出了新的建模方案,并建立更优化的时序和功耗模型。同时,根据大容量SRAM在面积和性能上的需求,选择不同的译码
期刊
徐州供电公司承担着国家电网“西电东送”、华东电网“北电南供”和服务徐州416万电力客户的重任.长期以来,公司党委围绕企业发展要务,不断加强党的建设,党建工作与企业发展
期刊
本文给出了一种基于子集和问题的比特承诺方案 ,该方案的优点是接受者Bob不需要向承诺者Alice发送任何消息 ,其安全性是基于子集和问题的困难性。此方案的另一个优点是 :它对承诺一个bit或承诺多个bit都是有效的。
期刊
矢量量化器的压缩性能随维数的增大而提高 ,但复杂度亦随维数的增大呈指数增大 ,限制了大维数矢量的使用。本文利用小波变换产生的子带间的相关性 ,提出一种新的最小失真预测 /多级矢量量化算法。一方面通过最小失真预测来降低时间复杂度 ,使得编码 6 3D的矢量只需付出相当于 15D矢量的时间复杂度代价 ;另一方面通过增强多级矢量量化算法来进一步降低复杂度。在复杂度得到极大降低的同时 ,仍具有很好的编码性
在新时期的环境下,随着社会经济水平的不断提升,以及人们生活质量的提高,人们对家电产品的需求日益增加.本文主要从家电维修服务管理现状角度出发,详细阐述了家电维修服务管
目的 比较掌侧锁定接骨板与普通接骨板治疗桡骨远端骨折的长期疗效.方法 对2005年9月-2007年11月间,采用切开复位掌侧锁定接骨板或普通接骨板内固定的45例随访资料完整的患者,进行两种疗法的比较.其中23例行锁定接骨板内固定,22例行普通接骨板内固定.按照AO分型:A型11例,B型11例,C型23例.随访内容包括:腕关节活动度(屈曲、背伸、尺偏、桡偏),前臂旋前、旋后活动范围,影像学资料(尺偏
现在的手机,绝不应该仅是通信工具而已,它还能够体现出拥有者的品位、乐趣甚至心情境地,而这一切除了依靠手机本身所具备的魅力,还在很大程度上取决于用户对它所做的额外改造。在
期刊