| 事务级形式验证技术及8051验证模型 |
| |
| 引用本文： | 王彬,任艳颖,林争辉.事务级形式验证技术及8051验证模型[J].计算机辅助设计与图形学学报,2003,15(8):921-924. |
| |
| 作者姓名： | 王彬 任艳颖 林争辉 |
| |
| 作者单位： | 上海交通大学电子工程系,上海,200030 |
| |
| 基金项目： | 美国国家科学基金(5 978EastAsiaandPacificProgram—960 2485)，教育部博士点基金资助 |
| |
| 摘 要： | 提出一种基于事务的用于电路系统的形式验证方法(TBFV)．应用该方法，验证工程师可以在行为级对系统进行验证，无需了解设计的细节．为了对该方法进行示范，验证了8051的RTL级实现，并给出了8051指令集的TBFV模型．
|
| 关 键 词： | 事务级形式验证 8051验证模型 流水线处理器 功能验证模型 微处理器 8051指令集 |
| 修稿时间： | 2002年5月14日 |
Transaction Level Formal Verification and 8051 Verification Model |
| |
| Wang Bin Ren Yanying Lin Zhenghui.Transaction Level Formal Verification and 8051 Verification Model[J].Journal of Computer-Aided Design & Computer Graphics,2003,15(8):921-924. |
| |
| Authors: | Wang Bin Ren Yanying Lin Zhenghui |
| |
| Abstract: | Transaction based formal verification (TBFV) methodology for verification of circuit system is presented With this method, the validation engineer can verify the system at behavior level, needn't understand the detailed implementation To illustrate this method, we verified the RTL implementation of 8051 We gave the set of TBFV models for the instructions set of 8051 With the help of these models, the validation engineer can improve their work efficiency |
| |
| Keywords: | transaction based formal verification functional verification model state explosion |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
