Verification of Analog and Mixed-Signal Circuits Using Hybrid System Techniques.

Thao Dang Alexandre Donzé Oded Maler

Published in: FMCAD (2004)

Keyphrases

mixed signal
low power
vlsi circuits
multi channel
digital circuits
cmos technology
low cost
high speed
power consumption
model checking
image processing
digital signal processing
power dissipation
low voltage
image sensor
circuit design
single chip