Symbolic Simulation with Approximate Values.

Chris Wilson, David L. Dill, Randal E. Bryant

Browse the full FMCAD paper archive.