RTL c-based methodology for designing and verifying a multi-threaded processor. - Luc Séméria; Renu Mehra; Barry M. Pangrle; Arjuna Ekanayake; Andrew Seawright; Daniel Ng (DAC, 2002)