Design Verification of a Super-Scalar RISC Processor. - Babu Turumella; Aiman Kabakibo; Manjunath Bogadi; Karakunakara Menon; Shaleah Thusoo; Long Nguyen; Nirmal R. Saxena; Michael Chow (FTCS, 1995)

Assertion-based verification of a 32 thread SPARCTM CMT microprocessor. - Babu Turumella; Mukesh Sharma (DAC, 2008)

Comprehensive Approach to High-Performance Server Chipset Debug. - Ishwar Parulkar; Babu Turumella (IEEE Des. Test Comput., 2009)