可重用IP核验证方法研究 |
| |
引用本文: | 许柯.可重用IP核验证方法研究[J].科技资讯,2008(26). |
| |
作者姓名: | 许柯 |
| |
作者单位: | 湖南公安高等专科学校计算机系,长沙,410138 |
| |
摘 要: | 高效、可靠、全面的验证工作是可重用IP核开发成功的保证。本文针对可重用IP软核的验证过程进行研究,主要从RTL级功能验证、静态时序分析和RTL级与网表之间的形式化验证三个方面入手,研究了当前主流的验证方法,分析各种方法的优点和存在的缺陷,并给出了建议性的解决方法。
|
关 键 词: | 可重用IP核 功能验证 静态时序分析 形式化验证 |
本文献已被 维普 万方数据 等数据库收录! |
|