| |
| 1999 | ||
|---|---|---|
| 3 | EE | Shankar G. Govindaraju, David L. Dill, Jules P. Bergmann: Improved Approximate Reachability Using Auxiliary State Variables. DAC 1999: 312-316 |
| 2 | EE | Jules P. Bergmann, Mark Horowitz: Vex - A CAD Toolbox. DAC 1999: 523-528 |
| 1 | EE | Jules P. Bergmann, Mark Horowitz: Improving coverage analysis and test generation for large designs. ICCAD 1999: 580-583 |
| 1 | David L. Dill | [3] |
| 2 | Shankar G. Govindaraju | [3] |
| 3 | Mark Horowitz | [1] [2] |