![]() | ![]() |
2001 | ||
---|---|---|
2 | EE | Maher N. Mneimneh, Fadi A. Aloul, Christopher T. Weaver, Saugata Chatterjee, Karem A. Sakallah, Todd M. Austin: Scalable Hybrid Verification of Complex Microprocessors. DAC 2001: 41-46 |
2000 | ||
1 | EE | Saugata Chatterjee, Christopher T. 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 | Christopher T. Weaver | [1] [2] |