Efficient checker processor design. - Saugata Chatterjee; Christopher T. Weaver; Todd M. Austin (MICRO, 2000)

Scalable Hybrid Verification of Complex Microprocessors. - Maher N. Mneimneh; Fadi A. Aloul; Christopher T. Weaver; Saugata Chatterjee; Karem A. Sakallah; Todd M. Austin (DAC, 2001)

MASE: a novel infrastructure for detailed microarchitectural modeling. - Eric Larson; Saugata Chatterjee; Todd M. Austin (ISPASS, 2001)