Jules P. Bergmann

Vex—A CAD toolbox

Mark Horowitz, Jules P. Bergmann, M. Horowitz, 1999, DAC '99.

Improved approximate reachability using auxiliary state variables

David L. Dill, Shankar G. Govindaraju, Jules P. Bergmann, 1999, DAC '99.

Improving coverage analysis and test generation for large designs

Mark Horowitz, Jules P. Bergmann, 1999, 1999 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (Cat. No.99CH37051).