【摘要】 提出一种基于事务的用于电路系统的形式验证方法 (TBFV) 应用该方法 ,验证工程师可以在行为级对系统进行验证 ,无需了解设计的细节 为了对该方法进行示范 ,验证了 80 5 1的RTL级实现 ,并给出了 80 5 1指令集的TBFV模型更多还原

【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更多还原