激励生成相关论文
本文首先提出一种可观测性信息的表征方式.在此基础上,提出基于可观测性代码覆盖准则的激励生成方法,该方法以未观测代码的分布为......
设计错误注入在数字集成电路验证中广泛应用,可用于评估验证质量和指导激励生成.首先介绍设计错误注入验证方法的基本原理,然后介......
功能验证是集成电路设计流程中的关键环节。随着设计规模与复杂度的增加，功能验证的难度也在不断提高，其中时序电路的激励生成是验证......
集成电路规模的飞速增长,使得集成电路功能复杂度日益提升,一方面为信息技术产业带来了生机和活力,另一方面也产生了许多问题和挑......
在人们日益增长的需求的推动下,集成电路技术迅速发展。中央处理器作为超大规模集成电路的典型代表,为了追求更高的性能,在制造工......
本文介绍了一种在UVM验证平台的基础上，利用遗传算法分析功能覆盖率信息，指导生成测试激励，建立从覆盖率到测试生成的闭环系统，与......
分组密码IP核具有配置过程复杂、数据运算量大的特点,如何对其进行高效的验证是整个设计面临的关键问题.在随机验证中,激励生成和......
传统的语句覆盖准则只考虑语句的可控制性,忽略其可观测性,这可能导致表面上很高的覆盖率数据所蕴含的可信度不高.鉴于此,可观测性......
期刊
基于模拟的验证技术在SoC等复杂数字系统功能验证中一直占据统治地位.模拟激励产生的速度和质量是决定验证过程收敛速度的关键因素......
寄存器传榆级（RTL）描述是目前应用最广泛的电路设计描述形式．在时序电路的RTL激励生成中，基于模拟的方法避免了帧扩展法庞大的搜索空间......
Intel提出的第三代总线技术PCI Express在结构上可以满足计算机系统的发展对总线带宽的要求，基于PCIE的设计得以蓬勃发展，对PCIE的验......
传统的语句覆盖准则只考虑语句的可控制性,忽略其可观测性,这可能导致表面上很高的覆盖率数据所蕴含的可信度不高.鉴于此,可观测性......
该文提出了一种针对多个难达目标状态的激励生成方法,该方法基于抽象引导的半形式化方法框架.采用一个评估函数对候选状态进行评价......
如何生成高质量的验证激励是功能验证中的核心问题之一.随着功能验证的不断进行,验证激励的有效性也随之降低.为了提高验证激励的......
集成电路设计验证是指在设计的过程中判别设计规范和实现之间是否一致。据统计,目前在大规模集成电路的设计流程中,设计验证的时间......
随着集成电路设计规模的不断增长和设计复杂度的不断提高,基于重用的设计方法成为主流的设计方法,功能验证成为制约设计效率提升的......
