| 面向验证的启发技术设计 |
| |
| 引用本文： | 何新华,潘哲华,卢庆龄.面向验证的启发技术设计[J].装甲兵工程学院学报,1996(3). |
| |
| 作者姓名： | 何新华 潘哲华 卢庆龄 |
| |
| 作者单位： | 装甲兵工程学院计算机教研室 北京.100072 |
| |
| 摘 要： | 采用有效的人工智能技术提高验证效率正成为解决验证复杂性的手段之一。本文针对STG（State Transition Graph）中状态枚举数据量大的问题,提出隐含遍历的状态映射策略。并根据状态存储和电路结构特征,重点研究了HASH表状态冲突处理、函数域限定、函数不相交分解和混合搜索等启发技术策略。
|
| 关 键 词： | 状态冲突 域限定 电路划分 映射 |
Verification-oriented Heuristics Design |
| |
| He Xinhua,Pan Zhehua,Lu Qingling.Verification-oriented Heuristics Design[J].Journal of Armored Force Engineering Institute,1996(3). |
| |
| Authors: | He Xinhua Pan Zhehua Lu Qingling |
| |
| Institution: | He Xinhua Pan Zhehua Lu Qingling |
| |
| Abstract: | 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. |
| |
| Keywords: | state conflict field mapping implicit traversing |
| 本文献已被 CNKI 等数据库收录！ |
