Verilog Digital Computer Design: Algorithms into Hardware (Paperback)
暫譯: Verilog 數位電腦設計：演算法轉換為硬體 (平裝本)

Description:

For introductory-level courses in Verilog Hardware Description Language. Written by the co-developer of the Verilog Implicit To One hot (VITO) preprocessor, this text introduces the industry standard Verilog Hardware Description Language as a new way to explore enduring concepts in digital and computer design, such as pipelining. It shows how Verilog simulation is a tool for uncovering bugs prior to hardware fabrication, and how Verilog synthesis is a tool for automatically converting source code into hardware. Ideal for designers new to Verilog, it features a consistent design framework using ASM charts, and contains many realistic, practical examples.

 

Table of Contents:

1. Why Verilog Computer Design?

 

What is computer design? A brief history of computer/digital technology. Translating algorithms into hardware. Hardware description languages. Typography. Assumed background.

 

2. Designing ASMs.

 

What is an ASM chart? Pure behavioral example. Mixed examples. Pure structural example. Hierarchical design.

 

3. Verilog Hardware Description Language.

 

Simulation versus synthesis. Verilog versus VHDL. Role of test code. Behavioral features of Verilog. Structural features of Verilog. $time. Time control. Assignment with time control. Tasks and functions. Structural Verilog, modules and ports.

 

4. Three Stages for Verilog Design.

 

Pure behavioral examples. Mixed stage of the two-state division machine. Pure structural stage of the two state division machine. Hierarchical refinement of the controller.

 

5. Advanced ASM Techniques.

 

Moore versus Mealy. Mealy version of the division machine. Translating Mealy ASMs into behavioral Verilog. Translating complex (goto) ASMs into behavioral Verilog. Translating conditional command signals into Verilog. Single-state Mealy ASMs.

 

6. Designing for Speed and Cost.

 

Propagation delay. Factors that determine clock frequency. Example of netlist propagation delay. Abstracting propagation delay. Single cycle, multi-cycle and pipeline.

 

7. One Hot Designs.

 

Moore ASM to one hot. Verilog to one hot. Mealy commands in a one hot machine. Moore command signals with Mealy<<=. Bottom testing loops with disable inside forever.

 

8. General-Purpose Computers.

 

Introduction and history. Structure of the machine. Behavioral fetch/execute. Mixed fetch/execute. Memory hierarchy.

 

9. Pipelined General-Purpose Processor.

 

First attempt to pipeline. Example of independent instructions. Data dependencies. Data forwarding. Control dependencies: implementing JMP. Skip instructions in a pipeline. Our old friend: division. Multi-port memory. Pipelined PDP-8 architecture.

 

10. RISC Processors.

 

History of CISC versus RISC. The ARM. Princeton versus Harvard architecture. The register file. Three operands are faster than one. ARM subset. Multi-cycle implementation of the ARM subset. Pipelined implementation. Superscalar implementation. Comparison of childish division implementations.

 

11. Synthesis.

 

Overview of synthesis. Verilog synthesis styles. Synthesizing enabled_register. Synthesizing a combinational adder. Synthesizing an implicit style bit serial adder. Switch debouncing and single pulsing. Explicit style switch debouncer. Putting it all together: structural synthesis. A bit serial PDP-8.

 

A. Machine and Assembly Language.

B. PDP-8 Commands.

 

Memory reference instructions. Non-memory reference instructions. Group 1 microinstructions. Group 2 microinstructions.

 

C. Combinational Logic Building Blocks.

 

Models of reality. Bus. Adder. Multiplexer. Other arithmetic units. Arithmetic logic unit. Comparator. Demux. Decoders. Encoders. Programmable devices. Conclusions. Further reading. Exercises.

 

D. Sequential Logic Building Blocks.

 

D.1 System clock. Timing Diagrams. Synchronous Logic. Bus timing diagrams. The D-type register. Enabled D-type register. Up counter register. Up/down counter. Shift register. Unused inputs. Highly specialized registers. Further Reading. Exercises.

 

E. Tri-State Devices.

 

Switches. Single bit tri-state gate in structural Verilog. Bus drivers. Uses of tri-state. Further Reading. Exercises.

 

F. Tools and Resources.

 

Prentice Hall. VeriWell Simulator. M4-128/64 demoboard. Wirewrap supplies. VerilogEASY. PLDesigner. VITO. Open Verilog International (OVI). Other Verilog and programmable logic vendors. PDP-8. ARM.

 

G. ARM Instructions.

 

Efficient instruction set. Instruction set summary. Register Model.

 

H. Another View on Non-blocking Assignment.

 

Sequential logic. $strobe. Inertial versus transport delay. Sequence preservation. Further reading.

 

I. Glossary.

J. Limitations on Mealy with Implicit Style.

 

Further Reading.