The steps for building and verifying the project are the same as those for the second part of the tutorial.
Build the x86 simulation for the graph by clicking “Build” under the “X86 SIMULATION” tab on the “FLOW” menu located on the bottom left corner of the GUI.
Make sure that all the required verification text files are under the
./src/verif_i_128
folder, and run the simulation by clicking “Run”, under the same tab of the previous step.Copy the graph’s outputs text files in the
Output/x86sim/x86simulator_output/verif_o_128
folder and paste them into thesupport\verification\v_outputs
folder to make sure that the verification Python script works on the new output data.Run the Python verification script while being located into the
support/verification
directory with the following commandpython -i ./Basic_verification
and make sure that the results are correct.