Statistical Model Checking of Mixed-Analog Circuits with an Application to a Third Order Delta-Sigma Modulator.
Edmund M. ClarkeAlexandre DonzéAxel LegayPublished in: Haifa Verification Conference (2008)
Keyphrases
- model checking
- delta sigma
- analog circuits
- temporal logic
- noise shaping
- finite state machines
- digital circuits
- formal verification
- model checker
- computation tree logic
- formal specification
- fault diagnosis
- temporal properties
- automated verification
- verification method
- symbolic model checking
- real time
- transition systems
- bounded model checking
- analog to digital converter
- formal methods
- image coding
- modal logic
- hidden markov models