An automated approach for generating and checking control logic for reversible hardware description language-based designs

Robert Wille*, Oliver Keszocze, Lars Othmer, Michael Kirkedal Thomsen, Rolf Drechsler

*Corresponding author for this work

Fingerprint

Dive into the research topics of 'An automated approach for generating and checking control logic for reversible hardware description language-based designs'. Together they form a unique fingerprint.

Keyphrases

Computer Science