基于FPGA的集成电路形式化验证加速

OpenCoho是一个通过可达性分析及计算对集成电路设计进行形式化验证的软件工具。它可以验证由非线性常微分方程建模的电路系统的正确性。提出基于FPGA的验证算法硬件加速方法,探讨环形振荡器电路有效性验证,通过仿真说明该方法的可行性和意义。实验结果表明,利用该方法平均验证速度提高了约10倍。

集成电路验证自动化现状及展望

集成电路芯片的自动设计和自动验证是未来集成电路发展的一个主要方向,而通用可移植激励标准(Portable Stimulus Standard,PSS)是跨层级芯片协同验证与开发的自动化工具。

基于精英策略的遗传算法在功能验证中的应用

针对集成电路功能验证中覆盖率收敛较慢的问题,通过分析简单遗传算法(SGA)中精英个体的特征,提出了一种应用于功能验证的精英策略。将本代优秀个体和本代适应度高的历史优秀个体视为精英个体,给予额外交叉机会。基于本文策略的精英遗传算法(EGA)可得到覆盖率广、重复性低的验证向量,缩短功能验证的时间。采用互相关函数的硬件计算单元作为验证模型,在Matlab中模拟功能验证的过程,实验结果表明:与SGA相比,EGA使验证时间缩短了14.8%,功能覆盖率从93%提高到95%,有效地提高了功能验证效率。

基于硬件仿真器的PCIe接口验证方法的研究和实现

PCIe接口是System on Chip(SoC)芯片上使用非常广泛的一种高速接口。因此,在SoC芯片的Register Transfer Level(RTL)级设计开发阶段,对PCIe接口设计的验证显得尤为重要,需要通过不同的验证平台保证PCIe接口设计的功能正确性和性能稳定性。对基于Cadence硬件仿真器创建的PCIe接口验证平台的方法进行研究,并在某款SoC芯片上实现了该验证流程。实践表明,使用该方法能够较快速地构建验证平台,提供较高的仿真测试性能,同时支持多种调试手段,有效地完成验证目标。