切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
基于随机方法和优化的DPLL算法的测试用例自动生成技术研究
基于随机方法和优化的DPLL算法的测试用例自动生成技术研究
来源 :化工自动化及仪表 | 被引量 : 0次 | 上传用户:lubin_1985
【摘 要】
:
提出一种基于随机方法和优化的DPLL算法的测试用例自动生成技术,并以基于FPGA的核电仪控系统为对象进行了验证。该方法能验证HDL描述符合设计规范的要求,代码覆盖率较好,所提
【作 者】
:
查敬芳
白涛
胡立生
【机 构】
:
上海交通大学电子信息与电气工程学院,深圳中广核工程设计有限公司
【出 处】
:
化工自动化及仪表
【发表日期】
:
2016年9期
【关键词】
:
测试用例
SAT问题
DPLL算法
核电仪控系统
test casesSAT issueDPLL algorithminstrument and control
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
提出一种基于随机方法和优化的DPLL算法的测试用例自动生成技术,并以基于FPGA的核电仪控系统为对象进行了验证。该方法能验证HDL描述符合设计规范的要求,代码覆盖率较好,所提方法在解决大规模问题时效率有所提升,尤其是对于可满足性问题,效率提升非常显著。
其他文献
The Key Triggers for the Transitioning of Informal SMMEs to Formal SMMEs:A Baseline Survey of the Ga
This paper presents the views of 623 informal and formal small,medium,and micro enterprises(SMMEs)operating in the Gauteng Province of South Africa.The objectiv
期刊
SMME
INFORMAL
TRIGGERS
business
REGISTRATION
transition
FORMAL
EMPLOYEES
TURNOVE
PLC通信卡间歇性故障导致机组停车的分析和对策
一次PLC通信卡发生了间歇性故障,引起大机组联锁停车,对该故障进行了排查和论证,找到并处理了故障,同时对平时的维护方案提出了改进。
期刊
间歇性故障
机组联锁
PLC
通信卡
电源模块
公牛“牛”入市
做“安全”,用不坏20世纪80年代,浙江慈溪聚集了数百家家庭式插座作坊,成为了享誉全国的插座生产基地。但是,在那个普遍偷工减料的时代,插座的质量一直备受质疑。据说,当时很
期刊
插座
良品率
家庭式
浙江慈溪
偷工减料
20世纪80年代
可持续发展视角下潮汕小食创新经营分析
潮汕小食作为潮式菜点的重要组成部分,吸引着国内外的游客慕名前来观光品尝。与古城潮州市旅游日益发展发展的现状相比,潮汕小食的经营则无较大发展。本文对传统潮汕小食的经
期刊
潮汕小食
经营
传统
可持续发展
创新
我喜欢吃甜瓜
我最喜欢吃甜瓜。你瞧,甜瓜穿着淡黄色的衣裳,圆圆的身体,看上去就像一个巨大的鸡蛋。
期刊
小学生
作文
语文学习
阅读知识
逆势决胜的奥秘
201 9年,营业额同比增长13.88%。2020年,截至年中,新签合同额、营业额等指标均大幅超过往年同期。面对日益复杂的发展环境、愈发激烈的竞争态势和企业自身不足“三重叠加”的不利影响,中交三航局何以逆势决胜? “改革,唯有改革才是唯一出路,才是企业发展制胜的法宝”,三航局党委书记、董事长王世峰表示。 党的十九大报告提出,要坚持全面深化改革,坚决破除一切不合时宜的思想观念和体制机制弊端,突破
期刊
投资建设项目
城市综合体
建筑工业化
党的十九大报告
城市轨道交通
海上风电
全面深化改革
利益固化
保供后援团
超前研判面对突然而来的疫情,同煤集团第一时间成立疫情防控领导组,制订疫情防控应对预案和重大措施,统一指挥协调疫情防控及复工复产等相关工作,全力保护员工群众生命安全和
期刊
疫情防控
物资调度
疫情报告
同煤集团
指挥协调
舆论引导
职工安全
防护措施
1例先天性食管狭窄患儿的围术期护理
<正>先天性食管狭窄是一种较为严重的消化道发育畸形,临床少见,根据国内外的统计其发病率为1∶(3 000~4 000),男女比例相等[1]。是食管发育异常产生的不完全梗阻,患儿出生后
期刊
先天性食管狭窄
营养不良
围术期护理
基于希尔伯特—黄变换的尾管裂纹故障诊断研究
为提高灭火弹火箭发动机裂纹的检测效率和减少产品的故障率,提出了基于HHT的时频分析法分别对裂纹故障振动信号和无裂纹故障振动信号在时域、频域和时频域进行了研究,研究结果
期刊
经验模态分解(EMD)
希尔伯特变换(HT)
本征模函数(IMF)
Hilbert—Huang谱
专家点评:传统文化在地理课堂中的有效渗透
ue*M#’#dkB4##8#”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:(100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
期刊
地理课堂
专家点评
水资源分布
有效渗透
与本文相关的学术论文