You can find the MIPS manual in the course AFS space in /afs/ece/class/ece447/docs/r4000man.pdf. This manual is also available online from SGI here.

A summary of the MIPS ISA can be found here.

You can find the x86 (Intel Developer's) manual in the course AFS space in /afs/ece/class/ece447/docs/intel-manual.pdf. This manual is also available online from Intel here.

The VAX-11/780 Architecture Reference Manual can be found here.

You can find a description of the LC-3b ISA in P&P Appendix A, and a description of the machine's microarchitecture in P&P Appendix C.

• Cummings, “Nonblocking Assignments in Verilog Synthesis, Coding Styles That Kill” pdf
• Parkin, “Writing Successful RTL Descriptions in Verilog” pdf
• Verilog manual online from UT-Austin EE 382N: link
• 18-447 handout: “Moving from System Verilog to Verilog”: pdf

A pipelined LC-3b design 18447-lc3b-pipelining.pdf

• Tracy Kidder, “The Soul of a New Machine”. Gives an interesting account of the development of the Data General Eclipse minicomputer, written for the general public.