Login / Signup
DNA walker circuits: computational potential, design, and verification.
Frits Dannenberg
Marta Z. Kwiatkowska
Chris Thachuk
Andrew J. Turberfield
Published in:
Nat. Comput. (2015)
Keyphrases
</>
design process
digital circuits
model checking
circuit design
formal verification
database
user interface
building blocks
software architecture
design principles
design decisions
asynchronous circuits
delay insensitive
logic synthesis
high level synthesis