| |
| 2000 | ||
|---|---|---|
| 2 | EE | Venkatram Krishnaswamy, Jeremy Casas, Thomas Tetzlaff: A switch level fault simulation environment. DAC 2000: 780-785 |
| 1999 | ||
| 1 | EE | Jeremy Casas, Hannah Honghua Yang, Manpreet Khaira, Mandar Joshi, Thomas Tetzlaff, Steve W. Otto, Erik Seligman: Logic Verification of Very Large Circuits Using Shark. VLSI Design 1999: 310-317 |
| 1 | Jeremy Casas | [1] [2] |
| 2 | Mandar Joshi | [1] |
| 3 | Manpreet Khaira | [1] |
| 4 | Venkatram Krishnaswamy | [2] |
| 5 | Steve W. Otto | [1] |
| 6 | Erik Seligman | [1] |
| 7 | Hannah Honghua Yang (Honghua Yang) | [1] |