Book contents
- Frontmatter
- Contents
- Preface
- 1 Controlling complexity
- 2 A Verilogical place to start
- 3 Defining the instruction set architecture
- 4 Algorithmic behavioral modeling
- 5 Building an assembler for VeSPA
- 6 Pipelining
- 7 Implementation of the pipelined processor
- 8 Verification
- A The VeSPA instruction set architecture (ISA)
- B The VASM assembler
- Index
- VeSPA Instruction Set
8 - Verification
Published online by Cambridge University Press: 31 October 2009
- Frontmatter
- Contents
- Preface
- 1 Controlling complexity
- 2 A Verilogical place to start
- 3 Defining the instruction set architecture
- 4 Algorithmic behavioral modeling
- 5 Building an assembler for VeSPA
- 6 Pipelining
- 7 Implementation of the pipelined processor
- 8 Verification
- A The VeSPA instruction set architecture (ISA)
- B The VASM assembler
- Index
- VeSPA Instruction Set
Summary
Aristotle maintained that women have fewer teeth than men; although he was twice married, it never occurred to him to verify this statement by examining his wives' mouths.
Bertrand Russell, (1872–1970).A processor design cannot be considered complete until it has undergone a rigorous verification process. The goal of this verification process is to ensure that the processor behaves as specified in the ISA under all possible conditions and all possible input combinations. Of course, due to the number of potential inputs and states, this is an impossible goal. Instead, we try to verify each component of the processor as rigorously as possible within the given time and resource constraints. We also try to verify the operation of the entire processor after all of the components have been assembled into a complete system.
In this chapter, we first look at using Verilog test benches to verify the operation of individual processor modules. We examine two types of test bench. The first, which we call directed testing, uses inputs that are carefully chosen to exercise specific aspects of the module being tested. The second type of testing uses pseudorandom inputs to automatically exercise a very large number of input combinations.
After learning about these module-level testing techniques, we introduce the idea of self-test programs. These tests are written in the processor's assembly language, or in a high-level programming language that is compiled into the processor's assembly language. When the self-test program is executed, it verifies that the different operations it performs are actually being executed correctly. This testing technique is particularly useful for verifying the operation of the entire processor as each individual instruction is executed.
- Type
- Chapter
- Information
- Designing Digital Computer Systems with Verilog , pp. 118 - 131Publisher: Cambridge University PressPrint publication year: 2004