一种基于SystemC属性检查的验证方法

摘要：

当今复杂电子系统倾向于在更高抽象级进行建模,一种基于C/C++的硬件描述语言,SystemC语言变得非常重要.在此探讨了一种基于SystemC属性检查的仿真验证方法.针对电路系统的线性时态逻辑属性,定义了属性表达的基本形式,并用SystemC代码描述系统属性,在仿真中检查系统属性从而达到验证目的.首先介绍SystemC语言及一种基于SystemC的属性检查方法,讨论了现有方法的不足之处,并给出了两种改进方案,最后通过实验证实该方案的有效性,同时实验表明该改进方案在仿真性能上有很大的提高.

关键词：SystemC、属性检查、属性链、复杂电子系统

所属期刊栏目：32

分类号：TN710(基本电子电路)

资助基金：国家自然科学基金资助项目60473032;北京市自然科学基金资助项目4072021

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

页数：共5页

页码：52-55,59