Verifying nonlinear analog and mixed-signal circuits with inputs.

Chuchu Fan Yu Meng Jürgen Maier Ezio Bartocci Sayan Mitra Ulrich Schmid

Published in: CoRR (2018)

Keyphrases

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