books.google.com - This book describes how to specify, design, and test a complete digital system using Verilog, a leading commercial hardware description language. After a brief introduction to the Verilog language, the instruction set architecture (ISA) for the simple VeSPA (Very Small Processor Architecture) processor...http://books.google.com/books/about/Designing_Digital_Computer_Systems_with.html?id=Pb76DeBJ-mUC&utm_source=gb-gplus-shareDesigning Digital Computer Systems with Verilog