论文部分内容阅读
提出一种基于随机方法和优化的DPLL算法的测试用例自动生成技术,并以基于FPGA的核电仪控系统为对象进行了验证。该方法能验证HDL描述符合设计规范的要求,代码覆盖率较好,所提方法在解决大规模问题时效率有所提升,尤其是对于可满足性问题,效率提升非常显著。
基于随机方法和优化的DPLL算法的测试用例自动生成技术研究
【摘 要】
：
提出一种基于随机方法和优化的DPLL算法的测试用例自动生成技术,并以基于FPGA的核电仪控系统为对象进行了验证。该方法能验证HDL描述符合设计规范的要求,代码覆盖率较好,所提
【机 构】
：
上海交通大学电子信息与电气工程学院,深圳中广核工程设计有限公司
【出 处】
：
化工自动化及仪表
【发表日期】
：
2016年9期
其他文献
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
一次PLC通信卡发生了间歇性故障,引起大机组联锁停车,对该故障进行了排查和论证,找到并处理了故障,同时对平时的维护方案提出了改进。
做“安全”,用不坏20世纪80年代,浙江慈溪聚集了数百家家庭式插座作坊,成为了享誉全国的插座生产基地。但是,在那个普遍偷工减料的时代,插座的质量一直备受质疑。据说,当时很
潮汕小食作为潮式菜点的重要组成部分,吸引着国内外的游客慕名前来观光品尝。与古城潮州市旅游日益发展发展的现状相比,潮汕小食的经营则无较大发展。本文对传统潮汕小食的经
201 9年，营业额同比增长13.88%。2020年，截至年中，新签合同额、营业额等指标均大幅超过往年同期。面对日益复杂的发展环境、愈发激烈的竞争态势和企业自身不足“三重叠加”的不利影响，中交三航局何以逆势决胜？ “改革，唯有改革才是唯一出路，才是企业发展制胜的法宝”，三航局党委书记、董事长王世峰表示。 党的十九大报告提出，要坚持全面深化改革，坚决破除一切不合时宜的思想观念和体制机制弊端，突破
超前研判面对突然而来的疫情,同煤集团第一时间成立疫情防控领导组,制订疫情防控应对预案和重大措施,统一指挥协调疫情防控及复工复产等相关工作,全力保护员工群众生命安全和
<正>先天性食管狭窄是一种较为严重的消化道发育畸形,临床少见,根据国内外的统计其发病率为1∶(3 000~4 000),男女比例相等[1]。是食管发育异常产生的不完全梗阻,患儿出生后
为提高灭火弹火箭发动机裂纹的检测效率和减少产品的故障率，提出了基于HHT的时频分析法分别对裂纹故障振动信号和无裂纹故障振动信号在时域、频域和时频域进行了研究，研究结果
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技