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