| |
| 2004 | ||
|---|---|---|
| 2 | EE | Francine Bacchini, Robert F. Damiano, Bob Bentley, Kurt Baty, Kevin Normoyle, Makoto Ishii, Einat Yogev: Verification: what works and what doesn't. DAC 2004: 274 |
| 1996 | ||
| 1 | EE | Benny Schnaider, Einat Yogev: Software Development in a Hardware Simulation Environment. DAC 1996: 684-689 |
| 1 | Francine Bacchini | [2] |
| 2 | Kurt Baty | [2] |
| 3 | Bob Bentley | [2] |
| 4 | Robert F. Damiano | [2] |
| 5 | Makoto Ishii | [2] |
| 6 | Kevin Normoyle | [2] |
| 7 | Benny Schnaider | [1] |