High-Level Design and Validation of the BlueSPARC Multithreaded Processor | IEEE Journals & Magazine | IEEE Xplore