您的位置： 专家智库 > >

焦金良

作品数：1 被引量：1H指数：1
供职机构：哈尔滨工程大学计算机科学与技术学院更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇的字

机构

  • 1篇哈尔滨工程大...

作者

  • 1篇焦金良
  • 1篇马光胜
  • 1篇冯刚

传媒

  • 1篇哈尔滨工程大...

年份

  • 1篇2007
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于WGLs的字级描述的形式验证被引量：1
2007年
在电路的设计过程中,形式验证已经成为重要的步骤.为提高设计的正确性,对高层次硬件描述语言(HDL)如VHDL的验证变得更加重要.文章给出的一个完整的数据通路操作的指令集能够在基于WGLs(weighted generalized lists)模型下进行形式验证的方法,讨论了字级函数和HDL操作符的WGL表示.所提到的技术允许直接地把HDL描述转化为WGLs,模运算和除法运算可以用基于WGLs的算法进行表示,此操作为有效验证过程的核心操作.文中所给出的验证工具是完全自动的,实验结果显示了该方法的有效性.
马光胜焦金良冯刚王冠军
全选 清除 导出
共1页<1>
聚类工具0