I am new, and I am a student.
Now I have several questions about the verification methods.
1. I want to test the modular arithemetic function of the SPU, how can I test this function?
Should I test the whole OpenSPARCT1 and see the output of the processor?
And I am not very clear about the details of the verification steps, verification tools. I will really
appriciate if you could offer me some information or materials about the verification.
2. If I want to modify some part of the verilog code of the SPU coprocessor, how can I test the functions then?