| 求解布尔不可满足子式的消解悖论算法 |
| 张建民;黎铁军;徐炜遐;庞征斌;李思昆; |
| 关键词：形式验证;布尔可满足问题;不可满足子式;消解悖论;局部搜索 |
| 主要内容：求解布尔不可满足子式在超大规模集成电路设计与验证领域都具有非常重要的理论与应用价值,帮助EDA工具迅速定位错误与不一致。针对求解不可满足子式的非完全方法,提出了消解悖论与悖论解析树的概念,在此基础上提出一种启发式局部搜索算法。该算法根据公式 |
| 《国防科技大学学报》 2015,37(01):21-27 |
| 全文下载请进入http://hightech.stlib.cn/tpi_1/sysasp/include/index.asp |
微信公众号