Combining Symbolic Simulation and Interval Arithmetic for the Verification of AMS Designs.

Mohamed H. Zaki, Ghiath Al Sammane, Sofine Tahar, Guy Bois

Browse the full FMCAD paper archive.