Fast execution for circuit consistency verification.
L. G. ChenJau-Yien LeeJhing-Fa WangK. T. ChenPublished in: Integr. (1986)
Keyphrases
- symbolic execution
- model checking
- high speed
- asynchronous circuits
- execution model
- databases
- circuit design
- signature verification
- false acceptance rate
- analog circuits
- plan generation
- test generation
- face verification
- data flow
- consistency checking
- data sets
- control flow
- formal methods
- dynamic environments
- face recognition
- analog vlsi
- maintaining consistency