Login / Signup
Initial Ideas for Automatic Design and Verification of Control Logic in Reversible HDLs - Work in Progress Report.
Robert Wille
Oliver Keszöcze
Lars Othmer
Michael Kirkedal Thomsen
Rolf Drechsler
Published in:
RC (2016)
Keyphrases
</>
micron cmos
markov chain
fully automatic
information systems
user interface
software development
semi automatic
model checking
control method
intelligent control
hardware design
formal verification
functional verification