IRAM Verification Sam Williams IRAM Summer Retreat 2000

IRAM Verification Sam Williams IRAM Summer Retreat 2000 1/26/2022 1

Tools Overview n vsim-isa(, -sync) vsim rand_gen / rand 2 sc 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 n vsim-p is no longer used n n n 1/26/2022 2

Verify Script Overview n verify . test Insert init, self-check, c, etc… rand_gen, rand 2 sc . r vsim-isa vsim-sync. s RTL. . . n . s pass / fail 1/26/2022 n . 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. 3

Testsuites n n 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) 1/26/2022 4

Status n n n 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 1/26/2022 5

Status (continued) n n 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. 1/26/2022 6

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