verification.md

EIE2 Instruction Set Architecture & Compiler (IAC)

---

Verification - a guide

@saturn691, V1.2 - 25 Oct 2024

---

Introduction

Congratulations for taking the role of lead verification engineer! This guide has been written by one of Peter's TAs and will follow from Lab 3.

Aims

Your goal is to ensure that the CPU is functionally correct.

What should I do?

There are two main things in the testing world:

• Testing every single component. This is similar to what was done in Lab 3, and is known in the industry as unit testing.
• Testing the CPU as a whole, known in the industry as integration testing.

Your CPU is going to be integration tested. Whether you choose to unit test every component is your choice, and it depends on how much you love writing tests.

How do I start?

In the attached model repository there are examples of unit tests, and examples of verification tests.

See mux_tb.cpp for an example of a unit test.

See verify.cpp for how your CPU implementation will be tested.

Your first goal, as a team, is to get verify.cpp to pass. You can invoke the tests by running the doit.sh script.

TEST_F(CpuTestbench, BaseProgramTest)
{
    system("./compile.sh asm/program.S");

    for (int i = 0; i < 1000; i++)
    {
        runSimulation(1);
        if (top->a0 == 254)
        {
            SUCCEED();
        }
    }
    FAIL() << "Counter did not reach 254";
}

If you are using the attached repository, it will

• generate a .hex file in the rtl folder.
• generate a .dis file in the tb folder. This is short for "disassembly". It will be useful later (ignore this for now).
• generate a .vcd (waveform) file in the tb folder.

Yeah, so what do I do?

The choice is yours, refer to the aims to guide you, and then use your creativity!