| |
| 2001 | ||
|---|---|---|
| 2 | EE | Maher N. Mneimneh, Fadi A. Aloul, Chris Weaver, Saugata Chatterjee, Karem A. Sakallah, Todd M. Austin: Scalable Hybrid Verification of Complex Microprocessors. DAC 2001: 41-46 |
| 2000 | ||
| 1 | EE | Saugata Chatterjee, Chris Weaver, Todd M. Austin: Efficient checker processor design. MICRO 2000: 87-97 |
| 1 | Fadi A. Aloul | [2] |
| 2 | Todd M. Austin | [1] [2] |
| 3 | Maher N. Mneimneh | [2] |
| 4 | Karem A. Sakallah | [2] |
| 5 | Chris Weaver | [1] [2] |