您的位置: 专家智库 > 作者详情>马竹青

马竹青

作品数:1 被引量:0H指数:0
供职机构:中国电子科技集团公司第三十二研究所更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇约束满足问题
  • 1篇微处理器
  • 1篇处理器

机构

  • 1篇中国电子科技...

作者

  • 1篇章建雄
  • 1篇马竹青
  • 1篇王玉艳

传媒

  • 1篇计算机工程

年份

  • 1篇2011
1 条 记 录,以下是 1-1
排序方式:
基于约束求解的微处理器功能验证程序生成
2011年
针对伪随机方法生成微处理器功能验证程序缺乏完备性、灵活性的问题,构建一种用于生成验证程序的C++约束函数库。以微处理器指令系统为对象,以约束满足问题的数学模型为理论依据,结合用户验证需求,利用约束函数库生成功能验证程序。验证结果表明,该方法开发验证程序简单、高效,加快了验证收敛速度。
马竹青章建雄王玉艳
关键词:约束满足问题
共1页<1>
聚类工具0