| |
| 2001 | ||
|---|---|---|
| 3 | EE | Julia Dushina, Mike Benjamin, Daniel Geist: Semi-Formal Test Generation with Genevieve. DAC 2001: 617-622 |
| 2 | EE | Julia Dushina, Mike Benjamin, Daniel Geist: Semi-Formal Test Generation for a Block of Industrial DSP. VTS 2001: 131-137 |
| 2000 | ||
| 1 | EE | Dominique Borrione, Julia Dushina, Laurence V. Pierre: A compositional model for the functional verification of high-level synthesis results. IEEE Trans. VLSI Syst. 8(5): 526-530 (2000) |
| 1 | Mike Benjamin | [2] [3] |
| 2 | Dominique Borrione | [1] |
| 3 | Daniel Geist | [2] [3] |
| 4 | Laurence V. Pierre | [1] |