Jens Schönherr, Martin Freibothe, Bernd Straube, Jörg Bormann. Semi-formal verification of the steady state behavior of mixed-signal circuits by SAT-based property checking. Theoretical Computer Science, 404(3):293-307, 2008. [doi]
Abstract is missing.