Login / Signup
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
Published in:
J. Low Power Electron. (2017)
Keyphrases
</>
control system
control strategy
cellular automata
markov chain
logic programming
control method
hardware description language
neural network
information systems
low cost
logic programs
efficient implementation
multi valued
classical logic