论文部分内容阅读
本文以一款军用高可靠性串口通信芯片的验证工作为例,介绍了以芯片的需求规格、激励中的错误注入和基于约束的随机验证方法为依据,使用SystemVerilog语言研究、设计并搭建了一个基于VMM验证方法学的,可用于进行错误注入与随机验证的芯片验证平台,并说明了该平台的总体架构、模块功能、工作流程和用于芯片的验证结果.