Design automation of invertible logic circuit from a standard hdl description

Research output: Contribution to journalArticlepeer-review

2 Citations (Scopus)


Invertible logic that can operate in a bidirectional way has a potential advantage to solve several critical issues such as integer factorization and machine learning. However, since it is an emerging technology, there are no systematic design tools to realize arbitrary invertible-logic circuits. In this paper, we propose a design automation tool converting a standard hardware description language (HDL) specification into invertible-logic circuits and performing the visualized simulation of its circuit behavior. Arbitrary combinational-logic circuits represented in HDL can be converted to invertible-logic circuits using the proposed tool, which allows us to design a wide variety of invertible-logic circuits with scalability. The behavior of the invertible-logic circuits generated can be also simulated and verified using the proposed simulator. For evaluation of the proposed tools, some typical invertible-logic circuits are generated within a low design cost from HDL including several nonlinear logic functions, which cannot be realized using the conventional design methods.

Original languageEnglish
Pages (from-to)1311-1333
Number of pages23
JournalIfCoLoG Journal of Logics and their Applications
Issue number5
Publication statusPublished - 2021 Jun

ASJC Scopus subject areas

  • Logic
  • Applied Mathematics


Dive into the research topics of 'Design automation of invertible logic circuit from a standard hdl description'. Together they form a unique fingerprint.

Cite this