基于PSL断言的宽带电路交换芯片验证

• 作者: 张华 郭建 韩俊刚
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 基于断言的验证 同步数字系列 性质描述语言
• 年，卷（期）: 2007,（14）
• 所属期刊栏目: 工程应用技术与实现
• 页码范围: 216-218,235
• 页数: 4页
• 分类号: TN47
• 字数: 3316字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2007.14.077

摘要

利用基于PSL断言的验证方法验证了宽带电路交换芯片XYDXC160的设计.该芯片单片支持64路2.488Gb/s STM-16帧结构的SDH码流的输入/输出,实现1 024×1 024 STM-1流的无阻塞电路交换.断言技术的引入,降低了验证工作的复杂度,提高了验证的速度和效率,确保了验证工作的质量.