1. Sam Williams IRAM Summer Retreat 2000
IRAM Verification
Sam Williams
IRAM Summer Retreat 2000
7/1/2019

2. Tools Overview vsim-isa(,-sync)  vsim rand_gen / rand2sc
verify (includes interface to all simulators, asm programs, random test generator, c interface for generating code/data, init/test operations, etc…)
Tools from MIPS for running their test suites
vsim-p is no longer used
7/1/2019

3. Verify Script Overview
.test file format has the following sections:
[init] – initialize any variable
[code] – contains assembly language test
[c] – contains c program whose output is appended to the assembly
[test] – contains the registers/memory and values to compare against, included in FP compares is a tolerance
[config] – high level script configuration
verify can also run random regressions and generate n distinct fails
sync simulation is necessary to ensure coherency in program code. only needs to be run once.
.test .r .s
vsim-isa
RTL
vsim-sync
rand_gen,
rand2sc
Insert init,
self-check, c, etc…
pass / fail
verify .
7/1/2019

4. Testsuites
MIPS Core testsuite (150 tests, provided only a subset of the 60 modes, for a total of about 1600 test/mode combinations)
FPU testsuite (also from MIPS) (another 150 tests, only 300 test/mode combinations)
Vector testsuite (>500 tests, including tests for individual instructions, chaining, vld/vst hardware specifics, and complex operations. All self-checking)
Random tests (take few seconds to generate, can run about 3000/day)
7/1/2019

5. Status
All tests in the MIPS test suite have been run on the core they provided with their simulation environment, as well as cache and mmu tests
All the vector tests have been run on the old isa simulator (1 outstanding fail).
Can’t include FPU tests in regression until we get stuff from IBM
7/1/2019

6. Status (continued)
New vsim, designed to suit or needs, was released last Friday.
there are only a couple of tests from the testsuite which still fail.
Some tests had to be modified once the simulator was fixed so that it matches hardware.
Complete RTL is almost ready to be put together and simulated.
7/1/2019

7. Future Work Complete move to new vsim Add hooks to RTL for simulation
Simulate RTL and netlist
Evaluate and run coverage tool
7/1/2019