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

摘要：

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

关键词：基于事务的形式验证、功能验证模型、状态爆炸

所属期刊栏目：15

分类号：TP301.1(计算技术、计算机技术)

资助基金：美国国家科学基金5978 East Asia and Pacific Program-9602485;高等学校博士学科点专项科研项目

在线出版日期：2003-09-05（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：921-924