Jules P. Bergmann

According to our database, Jules P. Bergmann authored at least 3 papers in 1999.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1999

Improving coverage analysis and test generation for large designs.

Jules P. Bergmann, Mark Horowitz

Proceedings of the 1999 IEEE/ACM International Conference on Computer-Aided Design, 1999

Improved Approximate Reachability Using Auxiliary State Variables.

Shankar G. Govindaraju, David L. Dill, Jules P. Bergmann

Proceedings of the 36th Conference on Design Automation, 1999

Vex - A CAD Toolbox.

Jules P. Bergmann, Mark Horowitz

Proceedings of the 36th Conference on Design Automation, 1999