SoC中多层AHB总线断言验证应用.docVIP

SoC中多层AHB总线断言验证应用 　　摘要：随着SoC设计复杂程度的不断提高，芯片的功能验证面临的挑战越来越大。断言作为一种描述属性的方法，可以快速地验证设计代码是否满足系统要求。基于断言的验证方法学近年来发展极为迅速，应用也越来越广泛。在基于Multi??layer AHB总线架构上的SoC系统验证过程中，采用System Verilog Assertion验证方法，证明SVA是SoC设计过程中功能验证的一种有效的验证方法。 　　关键词：断言； System Verilog Assertion； AHB； 验证 　　中图分类号：TN919??34文献标识码：A文章编号：1004??373X(2011)22??0084??04 　　 　　Application of Assertion Verification for Multi??layer AHB Bus in SoC 　　SONG Xiao??ming1, XUE Hong??xi1, LIU Bin2, LI Hong1 　　（1. School of Electronics Engineering, University of Electronic Science and Technology of China, Chengdu 610054, China; 　　2. Chengdu institute, Huawei Technologies Co., Ltd., Chengdu 610041, China） 　　 　　Abstract： With the continuous increase of SoC design complexity, the functional verification for chips is confronted with the challenge. The assertion as a method of the property description can quickly verify whether a design code meets the system requirements. Assertion??based verification methodology develops rapidly in recent years and its applications are increasingly widespread. The System Verilog Assertion as a verification method is adopted in the SoC system verification based on Multi??layer AHB bus architecture. The simulation result proves verifies that System Verilog Assertion is an effective method of the functional verification in SoC design. 　　Keywords： assertion; System Verilog Assertion; AHB; verification 　　 　　 　　收稿日期：2011??06??290引言 　　随着集成电路芯片的规模越来越大，SoC已经成为IC设计的发展趋势。在复杂的SoC系统中，如何高效验证SoC的功能正确性、完备性已经成为芯片是否成功的一个最重要的因素。芯片的功能验证已成为芯片设计的瓶颈，而且业界普遍认为芯片的整个验证工作已经占据了芯片开发周期的70%以上［1］，从最初的单元验证到集成验证乃至系统验证，验证面临的挑战是越来越大。 　　目前的功能验证主要分为基于形式验证的静态功能验证和基于仿真的动态功能验证。形式验证方法是使用数学方法形式化地去证明设计实现部分或者全部满足系统属性的描述。动态验证方法则主要是指仿真，通过对DUT（Design Under Test）施加特定的测试向量，看DUT是否按照系统属性预期的那样出现结果［2］。 　　1基于断言的验证语言 　　断言是对设计的属性的描述，又被称为监视器或者检验器，已经被用作一种调试技术的方法,尤其适合于设计中的时序以及因果的逻辑判断。 　　基于断言的功能验证方法ABV（Assertion Based Verification），将形式验证中的断言技术和基于动态仿真的验证方法结合的一种验证方法。ABV的出现得到广泛的应用，成为先进的设计验证方法学的核心，因为它可以快速定位设计中的缺陷，尤其对于逻辑上的因果行为的验证非常适合。基于断言的验证方法主要的应