2025年2月24日
星期一
|
欢迎来到营口市图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
您的位置:
专家智库
>
作者详情
>
马竹青
马竹青
作品数:
1
被引量:0
H指数:0
供职机构:
中国电子科技集团公司第三十二研究所
更多>>
相关领域:
自动化与计算机技术
更多>>
合作作者
王玉艳
中国电子科技集团公司第三十二研...
章建雄
中国电子科技集团公司第三十二研...
作品列表
供职机构
相关作者
所获基金
研究领域
题名
作者
机构
关键词
文摘
任意字段
题名
题名
作者
机构
关键词
文摘
任意字段
作者
题名
机构
关键词
文摘
任意字段
作者
作者
题名
机构
关键词
文摘
任意字段
在结果中检索
文献类型
1篇
中文期刊文章
领域
1篇
自动化与计算...
主题
1篇
约束满足问题
1篇
微处理器
1篇
处理器
机构
1篇
中国电子科技...
作者
1篇
章建雄
1篇
马竹青
1篇
王玉艳
传媒
1篇
计算机工程
年份
1篇
2011
共
1
条 记 录,以下是 1-1
全选
清除
导出
排序方式:
相关度排序
被引量排序
时效排序
相关度排序
相关度排序
被引量排序
时效排序
基于约束求解的微处理器功能验证程序生成
2011年
针对伪随机方法生成微处理器功能验证程序缺乏完备性、灵活性的问题,构建一种用于生成验证程序的C++约束函数库。以微处理器指令系统为对象,以约束满足问题的数学模型为理论依据,结合用户验证需求,利用约束函数库生成功能验证程序。验证结果表明,该方法开发验证程序简单、高效,加快了验证收敛速度。
马竹青
章建雄
王玉艳
关键词:
约束满足问题
全选
清除
导出
共1页
<
1
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张