Formal verification of analog designs using MetiTarski.

William Denman, Behzad Akbarpour, Sofine Tahar, Mohamed H. Zaki, Lawrence C. Paulson

Browse the full FMCAD paper archive.