|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2006年04 期
| 标题 |
| 基于文件交换的设计功能验证(42 卷) |
| 英文标题 |
| Design Function Verification Approach Based File-Swapping |
| 摘要 |
| 随着ASIC设计规模的不断增大，验证在整个设计中占的比重越来越大。提出了一种基于文件交换的RTL设计功能验证方法。用该方法结合MATLAB对TD |
| 作者 |
| 新闻作者:崔若飞,张 煜,刘文娟,张 博 |
| 关键字 |
关键词:功能验证，黑盒验证，文件交换 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 标题 |
| 基于文件交换的设计功能验证(42 卷) |
| 英文标题 |
| Design Function Verification Approach Based File-Swapping |
| 摘要 |
| 随着ASIC设计规模的不断增大，验证在整个设计中占的比重越来越大。提出了一种基于文件交换的RTL设计功能验证方法。用该方法结合MATLAB对TD |
| 作者 |
| 新闻作者:崔若飞,张 煜,刘文娟,张 博 |
| 关键字 |
关键词:功能验证，黑盒验证，文件交换 |
| COPYRIGHT©2001-2025 CHINA ACADEMY OF RAILWAY SCIENCES CORPORATION LIMITED，ALL RIGHTS RESERVED | ||
|
