提出并实现了一种基于Verilog模拟器与C模拟器协同模拟的微处理器验证平台Bug Finder.该平台通过System Verilog DPI(Direct Progr......

为了解决微处理器仿真验证中随机验证向量质量不高的问题，提出了一种基于支持向量机（SVM）的验证向量优化方法。该方法将已仿真运行的......

随着微处理器复杂度的不断提高，用全功能验证方法将花费大量的计算资源和时间。提出一种基于图模型的验证方法，首先利用功能抽象的方......

随着集成电路的工艺变得更加先进,设计规模也变得越来越复杂,规模和复杂度的提升,使得功能验证成为数字芯片设计中的巨大瓶颈。微......