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

• 作者: 王胜 赵瑞莲
• 来源期刊: 现代电子技术
• 关键词: SystemC 属性检查 属性链 复杂电子系统
• 年，卷（期）: 2009,（8）
• 所属期刊栏目: 软件技术
• 页码范围: 52-55,59
• 页数: 5页
• 分类号: TN710
• 语种: 中文
• DOI: 10.3969/j.issn.1004-373X.2009.08.017

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵瑞莲		49	470	12.0	20.0
2	王胜		2	23	1.0	2.0