Integrating SMT with Theorem Proving for Verification of Analog and Mixed-Signal Circuits (Invited Tutorial).
Mark R. GreenstreetPublished in: FMCAD (2019)
Keyphrases
- mixed signal
- theorem proving
- low power
- multi channel
- vlsi circuits
- cmos technology
- digital circuits
- automated deduction
- inference rules
- high speed
- theorem prover
- decision procedures
- term rewriting
- power consumption
- automated reasoning
- first order logic
- parallel search
- proof planning
- consequence finding
- automatic programming
- low cost
- geometry theorem proving
- automated theorem proving
- proof procedure
- model checking
- logical inference
- low voltage
- predicate calculus
- proof search
- combinatorial search
- power dissipation
- equational theories
- class labels