您的位置： 专家智库 > >

郑伟伟

作品数：2 被引量：9H指数：1
供职机构：清华大学信息科学技术学院计算机科学与技术系更多>>
发文基金：国家自然科学基金国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术电子电信更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇学位论文

领域

  • 1篇电子电信
  • 1篇自动化与计算...

主题

  • 2篇线性规划
  • 2篇可满足性
  • 2篇RTL
  • 1篇寄存器
  • 1篇寄存器传输级
  • 1篇层次化

机构

  • 2篇清华大学

作者

  • 2篇郑伟伟
  • 1篇吴为民
  • 1篇边计年

传媒

  • 1篇计算机辅助设...

年份

  • 1篇2006
  • 1篇2005
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
基于线性规划的RTL性质验证研究
集成电路的验证,已经成为其研发的最大障碍。传统的模拟验证技术无法满足当前SOC(System-On-Chip)设计带来的空前巨大的验证需求。基于此,形式化的验证方法作为模拟方法的一种重要补充,越来越得到人们的关注。模型判...
郑伟伟
关键词：层次化线性规划可满足性
文献传递
基于线性规划的RTL可满足性求解和性质检验被引量：9
2006年
采用线性规划作为基本工具开发一个RTL可满足性求解器,并将其应用于解决RTL性质检验问题·深入研究了使用线性规划约束对RTL电路元器件的建模方法,得到了一种对RTL电路建模的通用方法·通过将RTL性质转化为虚拟RTL电路,找到了一种验证RTL性质的方法·通过实验,并与采用zchaff布尔可满足性求解器的模型检验工具NuSMV进行比较,证明了基于RTL可满足性求解器的性质验证方法在内存和时间消耗上具有相当大的优势·
郑伟伟吴为民边计年
关键词：线性规划寄存器传输级可满足性
全选 清除 导出
共1页<1>
聚类工具0