摘要
本发明公开了一种阻性三输入多数逻辑电路的优化方法,包括以下步骤:利用基于布尔可满足性SAT的精确综合算法和NPN等价分类计算所有四输入NPN布尔函数的最佳阻性三输入多数‑反相器图RM3IG,并建立离线数据库;通过图映射算法和离线数据库将输入电路转换为RM3IG结构;基于RM3逻辑的代数性质提出RM3IG结构中反相器传输规则,优化RM3IG结构中的反相器数量,最后通过使用RM3逻辑表示RM3IG结构中的反相器,得到仅以RM3逻辑为基本运算集的逻辑电路。本发明方法有效减少了以RM3逻辑为基本运算集的逻辑电路的面积和延迟,尤其在应用于忆阻器电路时,能够显著减少所需忆阻器的数量,降低设计成本。
技术关键词
反相器
逻辑电路
SAT求解器
输入电路
节点
综合算法
映射算法
离线
变量
代表
编码
逻辑门
符号
定义
基础
关系
系统为您推荐了相关专利信息
电梯控制提醒
故障自诊断系统
诊断方法
故障诊断模块
电梯运行状态
结构化查询语言
语句
计算机存储介质
机器学习模型
分析方法
决策系统
编码
信息处理模块
时空耦合关系
知识学习技术
波浪要素
离线
岛礁
欧式距离计算方法
人工神经网络模型