Design and synthesis of improved reversible circuits using AIG‐ and MIG‐based graph data structures. Issue 1 (27th September 2018)

• Record Type: Journal Article
• Authors: Bandyopadhyay, Chandan; Das, Rakesh; Chattopadhyay, Anupam; Rahaman, Hafizur
• Is Part Of: IET computers & digital techniques. Volume 13:Issue 1(2019)
• Page Start: 38
• Page End: 48
• Publication Date: 2018-09-27
• Subjects: data structures -- graph theory -- logic circuits -- Boolean functions -- logic design -- quantum computing -- logic gates; reversible circuit design -- reversible circuit synthesis -- AIG‐based graph data structure -- MIG‐based graph data structure -- reversible logic synthesis -- Boolean function synthesis -- quantum technologies -- intermediate representations -- functional abstraction -- truth table -- circuit abstraction -- binary decision diagram -- and‐inverter graph -- majority inverter graph -- cost parameters -- graph‐based IR; Computers -- Periodicals; Digital electronics -- Periodicals; Computer engineering -- Periodicals; Computer architecture -- Periodicals; Computer organization -- Periodicals; 621.39
• DOI: 10.1049/iet-cdt.2017.0097
• Languages: English
• ISSNs: 1751-8601

Abstract

Abstract : Reversible logic synthesis is one of the best suited ways which act as the intermediate step for synthesising Boolean functions on quantum technologies. For a given Boolean function, there are multiple possible intermediate representations (IRs), based on functional abstraction, e.g. truth table, decision diagrams or circuit abstraction, e.g. binary decision diagram (BDD), and‐inverter graph (AIG) and majority inverter graph (MIG). These IRs play an important role in building circuits as the choice of an IR directly impacts on cost parameters of the design. In the authors' work, they are analysing the effects of different graph‐based IRs (BDD, AIG and MIG) and their usability in making efficient circuit realisations. Although applications of BDDs as an IR to represent large functions has already been studied, here they are demonstrating a synthesis scheme by taking AIG and MIG as IRs and making a comprehensive comparative analysis over all these three graph‐based IRs. In experimental evaluation, it is being observed that for small functions BDD gives more compact circuits than the other two IRs but when the input size increases, then MIG as IR makes substantial improvements in cost parameters as compared with BDD by reducing quantum cost by 39% on an average. Along with the experimental results, a detailed analysis over the different IRs is also included to find their easiness in designing circuits.