Designing Digital Computer Systems with Verilog
Using Verilog, a leading commercial hardware description language, this text describes how to specify, design, and test a complete digital system.
TABLE OF CONTENTS Designing Digital Computer Systems with Verilog
Chapter 4: Algorithmic Behavioral Modeling
The sciences do not try to explain, they hardly even try to interpret, they mainly make models. By a model is meant a mathematical construct which, with the addition of certain verbal interpretations, describes observed phenomena. The justification of such a mathematical construct is solely and precisely that it is expected to work.
John Von Neumann
Overview
In the previous chapter, we defined the instruction set architecture for the VeSPA processor. This ISA definition includes all of the storage elements that comprise the processor s state and are accessible to the assembly language programmer. It also includes a description of each instruction and how it affects these state elements. Our next step is to develop a simulation model of this ISA to verify that our instruction definitions are complete, that we have included the right mix of instructions, that the state elements we defined are appropriate, and so forth. Our completed simulation model will be capable of executing programs written in the processor s machine language. (In the next chapter, we describe an assembler for generating machine language programs.)
Our goal in this chapter is to develop an algorithmic behavioral model of the VeSPA processor. This type of model describes what each instruction does while ignoring the implementation details needed to actually construct the logic that ultimately will produce this behavior. For example, at this stage, we do not care whether the ALU uses a ripple-carry adder or a carry-lookahead adder. We are concerned only that the ADD instruction causes the...
Copyright D. Lilja and S. Sapatnekar 2005 under license agreement with Books24x7
