您的位置： 专家智库 > >

王胜

作品数：1 被引量：0H指数：0
供职机构：北京化工大学更多>>
发文基金：北京市自然科学基金国家自然科学基金更多>>
相关领域：电子电信更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇电子电信

主题

  • 1篇SYSTEM...

机构

  • 1篇北京化工大学

作者

  • 1篇赵瑞莲
  • 1篇王胜

传媒

  • 1篇现代电子技术

年份

  • 1篇2009
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
一种基于SystemC属性检查的验证方法
2009年
当今复杂电子系统倾向于在更高抽象级进行建模,一种基于C/C++的硬件描述语言,SystemC语言变得非常重要。在此探讨了一种基于SystemC属性检查的仿真验证方法。针对电路系统的线性时态逻辑属性,定义了属性表达的基本形式,并用SystemC代码描述系统属性,在仿真中检查系统属性从而达到验证目的。首先介绍SystemC语言及一种基于SystemC的属性检查方法,讨论了现有方法的不足之处,并给出了两种改进方案,最后通过实验证实该方案的有效性,同时实验表明该改进方案在仿真性能上有很大的提高。
王胜赵瑞莲
关键词：SYSTEMC
全选 清除 导出
共1页<1>
聚类工具0