DNA Walker Circuits: Computational Potential, Design, and Verification.
Frits DannenbergMarta Z. KwiatkowskaChris ThachukAndrew J. TurberfieldPublished in: DNA (2013)
Keyphrases
- computational power
- design process
- design methodology
- computer aided
- object oriented
- high level synthesis
- formal verification
- circuit design
- design decisions
- engineering design
- design principles
- model checking
- building blocks
- design space
- knowledge based systems
- high speed
- electronic circuits
- logic synthesis
- dna sequencing
- neural network
- functional verification