咨询与建议

限定检索结果

文献类型

  • 1 篇 期刊文献

馆藏范围

  • 1 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1 篇 工学
    • 1 篇 计算机科学与技术...
    • 1 篇 软件工程

主题

  • 1 篇 符号模拟
  • 1 篇 模型检验
  • 1 篇 谓词抽象
  • 1 篇 verilog约束逻辑编...

机构

  • 1 篇 国防科学技术大学

作者

  • 1 篇 guo yang
  • 1 篇 刘功杰
  • 1 篇 李思昆
  • 1 篇 li si-kun
  • 1 篇 li tun
  • 1 篇 屈婉霞
  • 1 篇 qu wan-xia
  • 1 篇 李暾
  • 1 篇 liu gong-jie
  • 1 篇 郭阳

语言

  • 1 篇 中文
检索条件"主题词=Verilog约束逻辑编程"
1 条 记 录,以下是1-10 订阅
排序:
基于符号模拟和约束逻辑编程的RTL级verilog谓词抽象方法
收藏 引用
计算机学报 2007年 第7期30卷 1138-1144页
作者: 李暾 屈婉霞 郭阳 刘功杰 李思昆 国防科学技术大学计算机学院
利用人工智能最新研究成果——约束逻辑编程verilog描述进行谓词抽象,并与目前基于SAT的方法进行了比较.首先通过符号模拟建立verilog的形式化模型,然后结合要抽象的谓词,将谓词抽象问题转化为约束逻辑编程问题并进行求解.该方法的... 详细信息
来源: 评论