Digital-driven formal analog verification for asynchronously feed-backed circuitries.
Gürkan UygurSebastian SattlerPublished in: DDECS (2012)
Keyphrases
- circuit design
- formal methods
- formal analysis
- delta sigma
- printed circuit
- data conversion
- cmos image sensor
- mixed signal
- digital content
- databases
- analog to digital converter
- formal verification
- data driven
- real time
- digital technologies
- face verification
- formal specification
- formal models
- asynchronous circuits
- low power
- model checking
- analog vlsi
- functional verification
- signal processing
- web services