用基于PSL断言的方法验证宽带电路交换芯片
本文随着电路规模复杂度的急剧增加，功能规范中存在不一致性和不充分性的可能性增加；另外，采用自然语言的功能规范，语义模糊且不可执行。这样，不仅容易造成理解的二义性，而且很难确保设计的功能都得到有效验证。基于断言的验证ABV(Assertion Based Verification)利用性质描述语言清晰定义设计的功能，避免规范的二义性。同时断言可以直接应用于模拟和形式化验证流程中。
Accellera组织的性质描述语言PSL(Property Specification Language)是用来对系统的功能进行规范描述的语言，2005年9月被国际电气电子工程师协会接受为新的标准IEEE 1850。
宽带电路交换芯片XYDXCl60单片支持64路2.488Gbis/s STM-16帧结构的同步数字系列SDH(Synchronous Digital Hierarchy)码流的输入/输出，实现1024×1024STM-1流的无阻塞电路交换。STM-16码流速率高，帧容量大，芯片设计验证的难度很大。
本文的主要工作是用PSL，断言定义863设计宽带电路交换芯片XYDXCl60的核心功能，并在芯片的验证流程中，采用了基于断言的验证方法。在实际验证工作中，当芯片两种交换控制配置发生切换时，断言成功检测出芯片工作发生异常，并能迅速定位设计中错误位置。实践证明，ABV是现有电路验证方法的一个有益补充，断言技术的引入，有效降低了验证工作的复杂度，提高了验证的速度和效率，同时确保了验证工作的质量。勿庸置疑，在不久的将来，ABV将成为超大规模电路设计和功能验证的一个标准流程。
本文最后结合自己的实际工作，提出了断言编码的一些建议。
宽带电路交换芯片;PSL断言;断言技术;宽带电路
西安邮电学院
硕士
计算机应用技术
韩俊刚
2007
中文
TN407
51
2008-11-06（万方平台首次上网日期，不代表论文的发表时间）