用PSL验证宽带电路交换芯片
基于断言的验证使用性质描述语言对系统的功能进行描述,并把这些描述写成相应的断言,通过验证工具检查断言是否成功,从而判断设计是否满足系统的功能要求.Accellera的性质描述语言PSL,是用来对系统的功能进行规范描述的语言,2005年9月被国际电气电子工程师协会接受为新的标准IEEE 1850.本文利用基于PSL断言的验证方法验证了宽带电路交换芯片XYDXC160的设计.该芯片单片支持64路2.488Gbit/s STM-16帧结构的SDH码流的输入/输出,实现1024×1024 STM-1级别的无阻塞电路交换.由于STM-16码流速率高,帧容量大,芯片设计验证的难度很大.断言技术的引入,有效地降低了验证工作的复杂度,提高了验证的速度和效率,同时确保了验证工作的质量.
同步数字系列 性质描述语言 宽带电路 交换芯片
张华 郭建 韩俊刚
西安邮电学院ASIC设计中心,西安,710061
国内会议
北戴河
中文
335-341
2006-08-07（万方平台首次上网日期，不代表论文的发表时间）