TY  - RPRT
TI  - Verifying nonlinear analog and mixed-signal circuits with inputs
AU  - Chuchu Fan
AU  - Yu Meng
AU  - Jürgen Maier
AU  - Ezio Bartocci
AU  - Sayan Mitra
AU  - Ulrich Schmid
PY  - 2018
UR  - https://arxiv.org/abs/1803.02975
ID  - 1803.02975
ER  -