| 部分实现组合电路的等价验证优化算法 |
| 岳园;田双亮;陈秀萍; |
| 关键词：部分实现电路;等价性验证;逻辑锥;未知模块;可满足性 |
| 主要内容：信息产业飞速发展,芯片设计的复杂性与日俱增。在复杂的电路设计中,经常包含某些功能未知的模块,这样的电路称为部分实现电路。为了保证产品设计的正确性,对部分实现电路进行等价性验证,提出了一种基于可满足性的优化算法。首先对部分实现组合电路进行"逻 |
| 《山东大学学报(理学版)》 2016,51(03):116-121 |
| 全文下载请进入http://hightech.stlib.cn/tpi_1/sysasp/include/index.asp |
微信公众号