面向验证的启发技术设计

Verification-oriented Heuristics Design

采用有效的人工智能技术提高验证效率正成为解决验证复杂性的手段之一。本文针对STG（State Transition Graph）中状态枚举数据量大的问题,提出隐含遍历的状态映射策略。并根据状态存储和电路结构特征,重点研究了HASH表状态冲突处理、函数域限定、函数不相交分解和混合搜索等启发技术策略。

The verification improvement is a .key problem for hardwareverification. This paper proposed implicit state verification for senquential circuits on the basis of STG. Finally, the heuristics which consists of HASH table, field limits and disjoint support are described.