摘要:基于断言的验证使用性质描述语言对系统的功能进行描述,并把这些描述写成相应的断言,通过验证工具检查断言是否成功,从而判断设计是否满足系统的功能要求.Accellera的性质描述语言PSL,是用来对系统的功能进行规范描述的语言,2005年9月被国际电气电子工程师协会接受为新的标准IEEE 1850.本文利用基于PSL断言的验证方法验证了宽带电路交换芯片XYDXC160的设计.该芯片单片支持64路2.488Gbit/s STM-16帧结构的SDH码流的输入/输出,实现1024×1024 STM-1级别的无阻塞电路交换.由于STM-16码流速率高,帧容量大,芯片设计验证的难度很大.断言技术的引入,有效地降低了验证工作的复杂度,提高了验证的速度和效率,同时确保了验证工作的质量.