A Pipelined Multi-Core Machine with Operating System Support: Hardware Implementation and Correctness Proof

Computer Architecture: Complexity and Correctness

A Pipelined Multi-core MIPS Machine: Hardware Implementation and Correctness Proof