论文部分内容阅读
随着SoC规模和复杂度的增加，功能验证变得越来越复杂，传统的验证方法很难对其进行全面的验证。基于SystemVerilog语言和VMM（Verification Methodology Manual）的高级验证方法学，采用覆盖率驱动、带有约束的随机化和断言等验证方法设计验证平台，对外部存储器接口进行了功能验证。验证结果表明，此验证平台能够实时监测覆盖率，控制验证进程，优化验证事务，代码和功能覆盖率可达100％。该方法简化验证复杂度，提高验证平台的可重用性，较好地满足芯片验证需要。