Integrating circuit analyses for assertion-based verification of programmable AMS circuits.
Dogan UlusAlper SenI. Faik BaskayaPublished in: FDL (2013)
Keyphrases
- analog circuits
- asynchronous circuits
- delay insensitive
- circuit design
- tunnel diode
- electronic circuits
- high speed
- analog vlsi
- logic synthesis
- logic circuits
- digital circuits
- low power
- power dissipation
- low cost
- vlsi circuits
- shift register
- model checking
- power reduction
- floating gate
- general purpose
- cmos technology
- formal verification
- fingerprint verification
- neural network
- face verification
- comparative analysis
- temporal logic
- image processing