基于路径约束求解的多目标状态激励生成方法

发布时间：2017-08-29 16:36

  本文关键词：基于路径约束求解的多目标状态激励生成方法

  更多相关文章： 激励生成 难达状态 抽象引导模拟 路径约束求解

【摘要】：该文提出了一种针对多个难达目标状态的激励生成方法,该方法基于抽象引导的半形式化方法框架.采用一个评估函数对候选状态进行评价,该评估函数综合考虑了从一个状态到不同目标状态的全局抽象距离信息,评价出从各个状态到达某个目标状态或者同时到达多个目标状态的潜能,并以此指导模拟过程直到最终搜索到一条能同时覆盖多个目标状态的状态序列.此外,该文采用了基于路径约束求解的激励生成方式,这种方式结合了具体模拟和符号模拟技术,符号模拟沿着具体执行路径提取分支条件构成路径约束,通过约束条件的翻转与求解能够有效地产生输入向量,以一种较均衡的模式遍历设计的状态空间,帮助验证快速覆盖到目标.实验结果表明,该文方法能够有效地同时验证设计中的多个目标状态.
【作者单位】： 中国科学院计算技术研究所计算机体系结构国家重点实验室;中国科学院大学;
【关键词】： 激励生成 难达状态 抽象引导模拟 路径约束求解
【基金】：国家自然科学基金(61432017,61176040) 国家“九七三”重点基础研究发展规划项目基金(2011CB302501)资助~~
【分类号】：TN407
【正文快照】： 1 引言 随着集成电路设计规模与复杂度的增加,功能验证已经成为设计周期中的一个重要环节.其中,如何高效地产生测试向量来覆盖难达状态是一个相当有难度的问题.目前,在工业设计验证中占主导地位的验证方法仍然是传统的模拟方法,因为模拟验证方法可扩展性好,能够处理大规模的

【相似文献】

中国期刊全文数据库 前4条

1 朱莉;李兴国;娄国伟;;基于JTC技术的目标状态类型联合识别算法研究[J];现代雷达;2010年11期

2 马中华;吴国富;陈敏;;利用TD估计目标状态[J];应用数学学报;2007年01期

3 彭克勤;机动目标状态估值器设计及其微机实现[J];电光与控制;1990年02期

4 ;[J];;年期

中国重要会议论文全文数据库 前1条

1 逄晓鸣;汪玲;;调节模式理论述评[A];第十二届全国心理学学术大会论文摘要集[C];2009年

中国硕士学位论文全文数据库 前1条

1 许东;因果关系和目标状态对情境模型加工的影响[D];福建师范大学;2012年

，

本文编号：754360