论文部分内容阅读
现有基于断言、形式化等的验证方法可保证电路按要求工作,但无法完成对设计的全验证.文中将软件验证环境与硬件加速器相结合,组成了软硬件联合验证平台,其在结构上既发挥了硬件加速器运行速度快的优点,又利用了面向对象的验证方法和可重用性高的优势.实验结果表明,针对复杂电路,验证平台使验证效率和验证覆盖率提高了3～10倍.