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 af dette arbejde

Fingeraftryk

Dyk ned i forskningsemnerne om 'An automated approach for generating and checking control logic for reversible hardware description language-based designs'. Sammen danner de et unikt fingeraftryk.

Keyphrases

Computer Science