Experimentally driven verification of synthetic biological circuits.
Boyan YordanovEvan AppletonRishi GangulyEbru Aydin GolSwati Banerjee CarrSwapnil BhatiaTraci HaddockCalin BeltaDouglas DensmorePublished in: DATE (2012)
Keyphrases
- asynchronous circuits
- model checking
- molecular biology
- high speed
- data driven
- real images are presented
- biological data
- real world
- verification method
- signature verification
- biologically plausible
- analog circuits
- circuit design
- functional verification
- vlsi circuits
- delay insensitive
- regulatory networks
- biological processes
- face verification
- biologically inspired
- temporal logic
- low cost