Abstract:New technologies such as Quantum-dot Cellular Automata (QCA), Single Electron Tunneling (SET), Tunneling Phase Logic (TPL) and all-spin logic (ASL) devices have been widely advocated in nanotechnology as a response to the physical limits associated with complementary metal oxide semiconductor (CMOS) technology in atomic scales. Some of their peculiar features are their smaller size, higher speed, higher switching frequency, lower power consumption, and higher scale integration. In these technologies, the majority (or minority) and inverter gates are employed for the production of the functions as this set of gates makes a universal set of Boolean primitives in these technologies. An important step in the generation of Boolean functions using the majority gate is reducing the number of involved gates. In this paper, a multi-objective synthesis methodology (with the objective priority of gate counts, gate levels and the number of inverter gates) is presented for finding the minimal number of possible majority gates in the synthesis of Boolean functions using the proposed Majority Specification Matrix (MSM) concept. Moreover, based on MSM, a synthesis flow is proposed for the synthesis of multi-output Boolean functions. To reveal the efficiency of the proposed method, it is compared with a meta-heuristic method, multi-objective Genetic Programing (GP). Besides, it is applied to synthesize MCNC benchmark circuits. The results are indicative of the outperformance of the proposed method in comparison to multi-objective GP method. Also, for the MCNC benchmark circuits, there is an average reduction of 10.5% in the number of levels as well as 16.8% and 33.5% in the number of majority and inverter gates, as compared to the best available method respectively.

Multi-Objective Optimization in Logic Synthesis Based on TB-RM Dual Logic

Dual-logic synthesis based on e-derivative of logic function

A Power Optimization Approach for Large-scale RM-TB Dual Logic Circuits Based on an Adaptive Multi-Task Intelligent Algorithm

Area and Power Optimization Approach for Mixed Polarity Reed–Muller Logic Circuits Based on Multi-Strategy Bacterial Foraging Algorithm

A General Logic Synthesis Framework for Memristor-based Logic Design

E-Syn: E-Graph Rewriting with Technology-Aware Cost Functions for Logic Synthesis

Multiobjective Simulated Annealing For Design Of Combinational Logic Circuits

MTLSO: A Multi-Task Learning Approach for Logic Synthesis Optimization

A multi-objective synthesis methodology for majority/minority logic networks

A General Framework for Efficient Logic Synthesis

Logic Synthesis Optimization with Predictive Self-Supervision via Causal Transformers

INVICTUS: Optimizing Boolean Logic Circuit Synthesis via Synergistic Learning and Search

PowerSyn: A Logic Synthesis Framework with Early Power Optimization

An Synthesized Methods for Multi-Valued Logic Function

Power Optimization in Logic Synthesis for Mixed Polarity Reed-Muller Logic Circuits.

A Combinational Logic Optimization Method for Large-Scale SFQ Circuits

Deep-PowerX: A Deep Learning-Based Framework for Low-Power Approximate Logic Synthesis

High-Level Topology Synthesis Method for Δ-Σ Modulators Via Bi-Level Bayesian Optimization

An Efficient Power Optimization Approach for Fixed Polarity ReedMuller Logic Circuits Based on Metaheuristic Optimization Algorithm

An Efficient Method for Multi-Level Approximate Logic Synthesis under Error Rate Constraint.

High-Level Synthesis through metaheuristics and LUTs optimization in FPGA devices