Shows how to design complex digital and computer systems by understanding them as algorithms and coding them in implicit style Verilog, using Verilog's non-blocking assignment features. Describes the fundamental goals, structure, and behavior of Verilog, its simulation techniques for Mealy machines and bottom-testing loops, its simulation techniques to model propagation delay, and the three stages of Verilog design behavioral, mixed, and structural. The author emphasizes a few enduring concepts of computer design, such as pipelined and superscalar approaches, and uses the ARM instruction set to explore the RISC approach. Annotation c. by Book News, Inc., Portland, Or.