Integrating SMT with Theorem Proving for Analog/Mixed-Signal Circuit Verification.
Yan PengMark R. GreenstreetPublished in: NFM (2015)
Keyphrases
- mixed signal
- theorem proving
- low power
- vlsi circuits
- multi channel
- digital circuits
- cmos technology
- high speed
- automated reasoning
- decision procedures
- first order logic
- low voltage
- theorem prover
- power consumption
- automated deduction
- low cost
- parallel search
- inference rules
- automatic programming
- consequence finding
- term rewriting
- geometry theorem proving
- automated theorem proving
- proof procedure
- proof planning
- analog circuits
- power dissipation
- circuit design
- logical inference
- data flow
- model checking
- combinatorial search
- digital signal processing
- predicate calculus
- model based diagnosis
- hardware and software
- knowledge base
- artificial intelligence
- real time