Throughout this thesis we use design descriptions from a hypothetical processor called the DP32 as running example. These descriptions are taken from the first edition of "The VHDL Cookbook" by Peter J. Ashenden of University of Adelaide, South Australia(1) [Ashenden 90]. The DP32 is a hypothetical 32-bit micro-processor with a simple instruction set. There are 256 general purpose registers, a program counter and a condition code register. The memory accessible to the DP32 consists of 32-bit words, addressed by a 32-bit word address. Tables 15-16 list the instruction set of the processor. Figure 31 shows its port diagram.
- Figure 32.
- Test bench circuit for the DP32 microprocessor. The clock_gen component generates the two-phase clock and reset signal to drive the processor. The memory stores a test program and data. These behavioural models for these two components are connected in the structural description of the test bench.
The actual microprocessor is embedded in a test bench circuit which is depicted in Figure 32. As this thesis is about CAD frameworks and not about electronic design, the detailed design description is not relevant to us. Examples taken from this description are used throughout the text to illustrate concepts. What is relevant, however, is the overall disposition of the design. Figure 33 depicts the composition hierarchy of the design description for the DP32 test bench circuit along with two configurations.
- Table 15.
- DP32 branch instructions
|Br-ivnz||branch||if cond then |
|Brq-ivnz||branch quick||if cond then |
|Bi-ivnz||branch indexed||if cond then |
|Biq-ivnz||branched indexed quick||if cond then |
- Table 16.
- DP32 load and store instructions
- Table 17.
- DP32 arithmetic and logic instructions
|Lxor||logical exclusive or|
- Figure 33.
- Structure of the design description for the DP32 test bench circuit. Two design configurations are shown. One, in which a behavioural description of the microprocessor is used; the other one which uses a structural description.
- Mr. Ashenden kindly gave permission to use his microprocessor design in this thesis.