Conservative and reversible logic gates are widely known to be compatible with
revolutionary computing paradigms such as optical and quantum computing. A fundamental …

We present certain new techniques for the synthesis of reversible networks of Toffoli gates,
as well as improvements to previous methods. Gate count and technology oriented cost …

Using a Karnaugh-map perspective, this paper investigates the definitions, exposes the
properties, introduces new computational procedures, and discovers interrelationships …

Decision diagram (DD) techniques are very popular in the electronic design automation
(EDA) of integrated circuits, and for good reason. They can accurately simulate logic design …

VLSI CAD has greatly benefited from the use of reduced ordered Binary Decision Diagrams
(BDDs) and the clausal representation as a problem of" Boolean Satisfiability"(SAT), eg in …

Reversible circuits can lead to low-power CMOS implementations and are also of interest in
optical and quantum computing. In this paper, we consider the synthesis of reversible logic …

A novel disjoint sum of products (DSOP) synthesis method is presented in this paper. It has
been found out from analysis that a pair of logical product terms can subscribe to just four …

This paper extends the decomposition from the group theory based methods of Sasao and
Saraivanov to design binary input multivalued output quantum cascades realized with …

A digital circuit is reversible if it maps each input vector into a unique output vector.
Reversible circuits can lead to low-power CMOS implementations and are also of interest in …

Монография посвящена новому направлению математической логики—реализации
параллельных логических вычислений посредством арифметико-логических форм …