Verification of Analog and Mixed-Signal Circuits Using Hybrid System Techniques.

Thao Dang, Alexandre Donz, Oded Maler

Browse the full FMCAD paper archive.