A new assertion property language for analog/mixed-signal circuits. - Dhanashree Kulkarni; Andrew N. Fisher; Chris J. Myers (FDL, 2013)

LEMA: A tool for the formal verification of digitally-intensive analog/mixed-signal circuits. - Andrew N. Fisher; Satish Batchu; Kevin R. Jones; Dhanashree Kulkarni; Scott Little; David Walter; Chris J. Myers (MWSCAS, 2014)

Reachability Analysis Using Extremal Rates. - Andrew N. Fisher; Chris J. Myers; Peng Li 001 (NFM, 2015)