Approximate property checking of mixed-signal circuits.

Parijat Mukherjee Chirayu S. Amin Peng Li

Published in: DAC (2014)

Keyphrases

mixed signal
vlsi circuits
low power
multi channel
digital circuits
cmos technology
low cost
high speed
power consumption
low voltage
delay insensitive
motion estimation
power dissipation