扩大ARM SoC的验证覆盖缩短仿真时间

验证复杂的SoC设计要耗费极大的成本和时间。本文将介绍一个设计实例,使用作为激励的代码和基于断言的验证,通过该实例来描述使用传统验证技术无法发现的设计错误。