A Verification System for Transient Response of Analog Circuits Using Model Checking.

Tathagato Rai Dastidar, P. P. Chakrabarti

Browse the full VLSID paper archive.