Sèmèria, et al.. RTL C-based Methodology for Designing and Verifying a Multi-threaded Processor. ACM Press, 2002, doi:10.1145/513918.513951.