|
|||||
|
|
| 交换控制电路功能验证平台设计 | |
| 作者姓名： | 张健 黄蓓 王玉艳 |
| 作者单位： | 华东计算技术研究所,上海,200233 |
| 摘 要： | 针对超大规模集成电路设计验证的复杂性,以多口以太网交换控制电路为验证对象,分析了高级验证语言的特点,研究了验证策略,设计了验证平台,实现了复杂电路的功能验证。验证结果表明,采用高级验证语言构建验证平台可有效地缩短验证周期、降低验证成本和提高验证质量。 |
| 关 键 词： | 功能验证 交换控制电路 验证语言 验证对象 |
| 文章编号： | 1000-3428（2006）16-0250-03 |
| 收稿时间： | 2005-09-01 |
| 修稿时间： | 2005-09-01 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |
| 点击此处可从《计算机工程》浏览原始摘要信息 | |
| 点击此处可从《计算机工程》下载全文 | |