E-PROOFS: a CMOS bridging fault simulator.
Gary S. GreensteinJanak H. PatelPublished in: ICCAD (1992)
Keyphrases
- fault diagnosis
- fault detection
- analog vlsi
- power consumption
- theorem proving
- high speed
- low cost
- formal proofs
- power supply
- vlsi circuits
- simulation model
- low power
- theorem prover
- simulation environment
- formal proof
- decision procedures
- evolutionary robotics
- equational theories
- delay insensitive
- image sensor
- test bed
- low voltage
- natural deduction
- circuit design
- chip design
- image processing