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.

Problem C: GPU Accelerated Logic Rewriting

Adaptive Reconvergence-driven AIG Rewriting via Strategy Learning

Accelerate Logic Re-simulation on GPU via Gate/Event Parallelism and State Compression

AIG Rewriting Using 5-Input Cuts

Logic Synthesis with Generative Deep Neural Networks

An Automatic Optimization Method of Combinational Logic Loops in CGRA

A novel reversible gate and optimised implementation of half adder, subtractor and 2-bit multiplier

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

Logic Synthesis Optimization Sequence tuning using RL-based LSTM and Graph Isomorphism Network

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

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

FPGA approximate logic synthesis through catalog-based AIG-rewriting technique

Distributed Time, Conservative Parallel Logic Simulation on GPUs

Cost Efficient Design of Reversible Adder Circuits for Low Power Applications

Datapath Verification via Word-Level E-Graph Rewriting

Acceleration for Timing-Aware Gate-Level Logic Simulation with One-Pass GPU Parallelism

AISYN: AI-driven Reinforcement Learning-Based Logic Synthesis Framework

ROVER: RTL Optimization via Verified E-Graph Rewriting

A Circuit Domain Generalization Framework for Efficient Logic Synthesis in Chip Design

Accelerating RTL Simulation with GPUs

Rule-Based Optimization of Reversible Circuits