Vex - A CAD Toolbox. - Jules P. Bergmann; Mark Horowitz (DAC, 1999)

Improved Approximate Reachability Using Auxiliary State Variables. - Shankar G. Govindaraju; David L. Dill; Jules P. Bergmann (DAC, 1999)

Improving coverage analysis and test generation for large designs. - Jules P. Bergmann; Mark Horowitz (ICCAD, 1999)