Formal Verification of Synthesized Analog Designs (1999)

by Abhijit Ghosh, Ranga Vemuri, Dr. Ranga Vemuri
Venue:In: International Conference on Computer Design