"Approximate property checking of mixed-signal circuits."

Parijat Mukherjee, Chirayu S. Amin, Peng Li (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics