论文部分内容阅读
验证复杂的SoC设计要耗费极大的成本和时间。本文将介绍一个设计实例,使用作为激励的代码和基于断言的验证,通过该实例来描述使用传统验证技术无法发现的设计错误。
Verifying the design of complex SoCs takes great cost and time. This article introduces a design example using code as an incentive and assertion-based verification that describes design errors that can not be found using traditional validation techniques.