版权所有：内蒙古大学图书馆 技术提供：维普资讯• 智图
内蒙古自治区呼和浩特市赛罕区大学西街235号 邮编: 010021
面向验证的启发技术设计
Verification-oriented Heuristics Design作者机构：装甲兵工程学院计算机教研室 装甲兵工程学院计算机教研室 北京.100072
出 版 物：《装甲兵工程学院学报》 (Journal of Academy of Armored Force Engineering)
年 卷 期：1996年第10卷第3期
页 面：28-32页
学科分类：08[工学] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）]
摘 要：采用有效的人工智能技术提高验证效率正成为解决验证复杂性的手段之一。本文针对STG（State Transition Graph）中状态枚举数据量大的问题,提出隐含遍历的状态映射策略。并根据状态存储和电路结构特征,重点研究了HASH表状态冲突处理、函数域限定、函数不相交分解和混合搜索等启发技术策略。
