An Automated Approach for Generating and Checking Control Logic for Reversible Hardware Description Language-Based Designs

Robert Wille; Oliver Keszöcze; Lars Othmer; Michael Kirkedal Thomsen; Rolf Drechsler

doi:10.1166/jolpe.2017.1515

An Automated Approach for Generating and Checking Control Logic for Reversible Hardware Description Language-Based Designs

Robert Wille
, Oliver Keszöcze
, Lars Othmer
, Michael Kirkedal Thomsen
, Rolf Drechsler

Department of Quantum Computing

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	633-641
Number of pages	9
Journal	Journal of Low Power Electronics
Volume	13
Issue number	4
DOIs	https://doi.org/10.1166/jolpe.2017.1515
Publication status	Published - Dec 2017

Fields of science

102 Computer Sciences
202 Electrical Engineering, Electronics, Information Engineering

JKU Focus areas

Computation in Informatics and Mathematics
Mechatronics and Information Processing
Nano-, Bio- and Polymer-Systems: From Structure to Function

Access to Document

10.1166/jolpe.2017.1515

Cite this

@article{7e29bb716e8d4dfa889473b7edab76b6,

title = "An Automated Approach for Generating and Checking Control Logic for Reversible Hardware Description Language-Based Designs",

author = "Robert Wille and Oliver Kesz{\"o}cze and Lars Othmer and Thomsen, \{Michael Kirkedal\} and Rolf Drechsler",

year = "2017",

month = dec,

doi = "10.1166/jolpe.2017.1515",

language = "English",

volume = "13",

pages = "633--641",

journal = "Journal of Low Power Electronics",

issn = "1546-1998",

number = "4",

}

TY - JOUR

T1 - An Automated Approach for Generating and Checking Control Logic for Reversible Hardware Description Language-Based Designs

AU - Wille, Robert

AU - Keszöcze, Oliver

AU - Othmer, Lars

AU - Thomsen, Michael Kirkedal

AU - Drechsler, Rolf

PY - 2017/12

Y1 - 2017/12

UR - https://www.scopus.com/pages/publications/85039049000

U2 - 10.1166/jolpe.2017.1515

DO - 10.1166/jolpe.2017.1515

M3 - Article

SN - 1546-1998

VL - 13

SP - 633

EP - 641

JO - Journal of Low Power Electronics

JF - Journal of Low Power Electronics

IS - 4

ER -

An Automated Approach for Generating and Checking Control Logic for Reversible Hardware Description Language-Based Designs

Fields of science

JKU Focus areas

Access to Document

Other files and links

Cite this