| 如何选择正确的验证方法 |
| |
| 引用本文： | Rangarajan（Sri）Purisai. 如何选择正确的验证方法[J]. 电子设计应用, 2005, 0(5): 82-86 |
| |
| 作者姓名： | Rangarajan（Sri）Purisai |
| |
| 作者单位： | 赛普拉斯半导体公司 |
| |
| 摘 要： | 本文对时下流行的验证技术(形式验证、随机、定向、有约束的随机、断言、属性检验)与语言(SystemC、C/C 、SystemVerilog、Open-VERA、E等)进行了全面评述,并分析了在传统的数字ASIC设计流程中应当在何时采用何种验证技术和语言。
|
| 关 键 词： | 验证方法 设计周期 功能验证 时间 芯片 |
How to Choose a Verification Methodology |
| |
| RangarajanPurisai. How to Choose a Verification Methodology[J]. Electronic Design & Application World, 2005, 0(5): 82-86 |
| |
| Authors: | RangarajanPurisai |
| |
| Affiliation: | Rangarajan(Sri)Purisai |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
