Analog circuit verification by statistical model checking.

Ying-Chih Wang, Anvesh Komuravelli, Paolo Zuliani, Edmund M. Clarke

Browse the full ASPDAC paper archive.