事务级形式验证技术及8051验证模型  

Transaction Level Formal Verification and 8051 Verification Model

作　　者：王彬[1] 任艳颖[1] 林争辉[1] 

机构地区：[1]上海交通大学电子工程系,上海200030

出　　处：《计算机辅助设计与图形学学报》2003年第8期921-924,共4页Journal of Computer-Aided Design & Computer Graphics

基　　金：美国国家科学基金(5 978EastAsiaandPacificProgram-960 2485);教育部博士点基金资助

摘　　要：提出一种基于事务的用于电路系统的形式验证方法 (TBFV) 应用该方法 ,验证工程师可以在行为级对系统进行验证 ,无需了解设计的细节 为了对该方法进行示范 ,验证了 80 5 1的RTL级实现 ,并给出了 80 5Transaction 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

关 键 词：事务级形式验证 8051验证模型 流水线处理器 功能验证模型 微处理器 8051指令集 

分 类 号：TP332[自动化与计算机技术—计算机系统结构]