【摘 要】
：
为了更好地建立覆盖率和测试产生器之间的联系,产生高质量的测试,提出基于遗传算法的覆盖率驱动测试产生器.该测试产生器利用一种简单、准确的测试编码方法对测试进行编码,并
【机 构】
：
浙江大学信息与电子工程学系,浙江大学超大规模集成电路研究所
论文部分内容阅读
为了更好地建立覆盖率和测试产生器之间的联系,产生高质量的测试,提出基于遗传算法的覆盖率驱动测试产生器.该测试产生器利用一种简单、准确的测试编码方法对测试进行编码,并利用基于功能覆盖率的适应度函数评估测试的优劣.通过遗传算法（GA）建立覆盖率与测试产生器之间的联系,分析覆盖率和测试之间的关系,根据分析结果改变测试产生器的约束和限制,驱动测试产生器生成新一代的测试,新一代的测试可以覆盖到上一代的测试无法覆盖的功能点.实验结果表明：在2个高性能的32位多核处理器的验证环境中,该测试产生器可以明显减少仿真时间,提
其他文献
采用动网格技术,对恒壁温边界下,竖直上升毛细管（管径为1 m m ）内充分发展状态的气-液Taylor流动进行数值研究,分析入口雷诺数、气泡体积分数对Taylor流动的换热阻力特性的影响
基于对新建立的6自由度非线性转向模型的研究,提出采用传递函数代替原转向模型的方法,提出求解传递函数的新方法.利用改进的模拟退火算法求解传递函数,采用不同的插值法建立
为了研究SiC/SiO2界面粗糙度对SiC MOS器件构道迁移率的影响,在离子注入后高温退火过程中采用碳膜保护SiC表面以减小退火过程中产生的表面粗糙度,碳膜的形成通过对光刻胶在60
基于II型裂纹能量释放率和层间剪切强度（ILSS）的分层阈值力模型,提出翼梁与蒙皮T型连接边缘区域的冲击分层阈值力经验计算公式.在具有不同蒙皮厚度的复合材料翼盒表面开展低速
设计一种整秆式甘蔗收割机断尾机构.以ADAMS为试验平台,将＂桂林一号＂甘蔗物理特性作为参考值,通过四因素三水平虚拟正交试验研究断尾轮中心轴之间的距离、上下断尾元件之间的交