ESOP-Based Toffoli Network Generation with Transformations

Sanaee, Yasaman; Dueck, Gerhard W.

doi:10.1109/ismvl.2010.58

Cited by 26 publications

(23 citation statements)

References 17 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Although synthesis and optimization approaches which create circuits composed of negatively controlled Toffoli gates already exist (e.g. ESOP-based synthesis [16][17][18] or QMDD-based synthesis [19]), they often just exploited the structure of the respective function representation. More precisely, in ESOP-based synthesis, negative control lines are just applied as they allow for a straight-forward realization of negative literals.…”

Section: Motivation and General Ideamentioning

confidence: 99%

“…realizations obtained by various synthesis approaches. However, our evaluations showed that the proposed methodology is particularly suited for circuits derived by ESOP-based synthesis [16][17][18]. Here, the targets lines are usually assumed to be placed on certain output lines, while control lines are usually placed on the separate input lines.…”

Section: Algorithmmentioning

confidence: 99%

See 1 more Smart Citation

Exploiting Negative Control Lines in the Optimization of Reversible Circuits

Datta

Rathi

Wille

et al. 2013

Reversible Computation

View full text Add to dashboard Cite

Abstract. The development of approaches for synthesis and optimization of reversible circuits received significant attention in the past. This is partly due to the increasing emphasis on low power design methodologies, and partly motivated by recent works in quantum computation. While most of them relied on a gate library composed of multiple-control Toffoli (MCT) gates with positive control lines, some initial works also exist which additionally incorporate negative control lines. This usually leads to smaller circuits with respect to the number of gates as well as the corresponding quantum costs. However, despite these benefits, negative control lines have hardly been considered in post-synthesis optimization of reversible circuits so far. In this paper, we address this issue. We are presenting an optimization scheme inspired by template matching which explicitly makes use of negative control lines. Experimental evaluations demonstrate that exploiting negative control lines in fact lead to a reduction in the number of gates and the quantum costs by up to 60% and 25%, respectively.

show abstract

Section: Motivation and General Ideamentioning

confidence: 99%

Section: Algorithmmentioning

confidence: 99%

Exploiting Negative Control Lines in the Optimization of Reversible Circuits

Datta

Rathi

Wille

et al. 2013

Reversible Computation

View full text Add to dashboard Cite

show abstract

“…Several methods rely on the Exclusive Sum-of-Product (ESOP) form of the Boolean function [10], while a set of methods use repeated transformations on the Boolean function truth-table for performing reversible logic synthesis [12].…”

Section: B Reversible Logic Synthesismentioning

confidence: 99%

Reversible Logic Synthesis via Biconditional Binary Decision Diagrams

Chattopadhyay¹,

Littarru

Amarù

et al. 2015

2015 IEEE International Symposium on Multiple-Valued Logic

View full text Add to dashboard Cite

Abstract-Reversible logic synthesis is an emerging research area to aid the circuit implementation for multiple nano-scale technologies with bounded fan-out. Due to the inherent complexity of this problem, several heuristics are proposed in the literature. Among those, reversible logic synthesis using decision diagrams offers an attractive solution due to its scalability and performance. In this paper, we exploit a novel, canonical, Biconditional Binary Decision Diagram (BBDD) for reversible logic synthesis. Using BBDD, for multiple classes of Boolean functions, superior circuit performance is achievable due to its compact representation. We discuss theoretical and experimental studies in comparison with state-of-the-art reversible logic synthesis based on decision diagrams.

show abstract

“…The approach described in [30,29,31] takes the best advantage of shared functionality if the ESOP terms are shared by only two outputs. However, if the shared terms exist in more than two outputs then transformation of each term may require more than one…”

Section: Post-synthesis Optimizationmentioning

confidence: 99%