Formal Verification of Analog Designs using

by William Denman , Behzad Akbarpour , Sofiène Tahar , Mohamed H. Zaki , Lawrence C. Paulson