王　胜　赵瑞莲

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

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

中图分类号：TN710文献标识码：B文章编号：1004—373X(2009)08—052—04