一种基于忆阻器电路的蕴含逻辑综合与优化方法

本发明公开了一种基于忆阻器电路的蕴含逻辑综合与优化方法，包括步骤：使用ABC并基于节点感知成本函数的模拟退火算法获取用于表示布尔函数的门级网表，将门级网表中的电路拓扑连接关系转换为IMG；利用基于SAT的精确综合算法和NPN等价分类计算所有四输入NPN布尔函数的最佳IIG，通过使用IMG逻辑表示IIG中的反相器，建立IMG离线数据库，通过逻辑重写算法和IMG离线数据库将输入电路转换为IMG结构；基于逻辑重构的启发式算法，解决IMG结构中所有存在扇出问题的结构，得到无扇出问题且忆阻器数量和脉冲数量减少的蕴含网络。本发明方法既减少了忆阻器电路中操作脉冲的数量，又减少了忆阻器的数量，降低设计成本。