|
|||||
|
|
| 用PSL语言进行基于断言的验证方法 | |
| 引用本文： | 杨晓峰,林涛.用PSL语言进行基于断言的验证方法[J].电子设计应用,2005(12):89-90. |
| 作者姓名： | 杨晓峰 林涛 |
| 作者单位： | 同济大学超大规模集成电路研究所 |
| 摘 要： | 本文介绍了如何用PSL语言进行基于断言的仿真和形式验证。这是现在芯片设计领域广泛采用的高效验证方法,可以极大地缩短验证时间。 |
| 关 键 词： | 属性描述语言 寄存器传输级 |
Assertion Based Verification with PSL |
|
| Abstract: | |
| Keywords: | ABV |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |
