TY - JOUR
T1 - Design automation of invertible logic circuit from a standard hdl description
AU - Kato, Makoto
AU - Onizawa, Naoya
AU - Hanyu, Takahiro
N1 - Funding Information:
This work was supported in part by JST PRESTO Grant Number JPMJPR18M5, JST-CREST (JPMJCR19K3), and CANON MEDICAL SYSTEMS CORPORATION.
Funding Information:
This work was supported in part by JSTPRESTO Grant Number JPMJPR18M5, JST-CREST (JPMJCR19K3), and CANON MEDICAL SYSTEMS CORPORATION.
Publisher Copyright:
© 2021, College Publications. All rights reserved.
PY - 2021/6
Y1 - 2021/6
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=85111560096&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85111560096&partnerID=8YFLogxK
M3 - Article
AN - SCOPUS:85111560096
VL - 8
SP - 1311
EP - 1333
JO - Journal of Applied Logics
JF - Journal of Applied Logics
SN - 2631-9810
IS - 5
ER -