Altera Avalon Verification IP Suite - Manual (Page 166)

1–10 Chapter 1: SOPC Builder Tutorial
Verifying Avalon-MM Master DUT
Avalon Verification IP Suite User Guide May 2011 Altera Corporation
Running the Simulation
To run the simulation, follow these steps:
1. Start the ModelSim-Altera software.
2. On the File menu, click Change Directory.
3. Navigate to
\ug_avalon_verification\sopc_builder\tutorial_slave_bfm
and click OK.
4. On the Compile menu, click Compile Options.
5. Click the Select Verilog & SystemVerilog tab.
6. In the Language Syntax box, select Use SystemVerilog and click OK.
7. Click Load on the File menu to open the Modelsim script file, script.do.
The script file creates a new working library, compiles all source files, runs
simulation, and loads signals into the Modelsim wave viewer.
1
If you are running ModelSim-SE you must use the -novopt option to prevent
ModelSim from optimizing the design, making the signals specified in for the wave
viewer unavailable.
Observing the Results
In this example, the master DUT writes four data words to the Avalon-MM Slave BFM
component and reads them back. The test program displays the simulation results in
the ModelSim transcript console every time the Avalon-MM Slave BFM component
receives master command.
Example 1–3 shows a partial transcript from a successful
run.
#####
Example 1–3. Simulation Results in the ModelSim Transcript Console when Running Simulation for Avalon-MM Master
DUT
# 251000: INFO: slave_bfm_tb: Master Write request to address 0000 with data 00000000
# 291000: INFO: slave_bfm_tb: Master Write request to address 0001 with data 00000002
# 331000: INFO: slave_bfm_tb: Master Write request to address 0002 with data 00000006
# 371000: INFO: slave_bfm_tb: Master Write request to address 0003 with data 0000000e
# 411000: INFO: slave_bfm_tb: Master Read request from address 0000
# 451000: INFO: slave_bfm_tb: Master Read request from address 0001
# 491000: INFO: slave_bfm_tb: Master Read request from address 0002
# 531000: INFO: slave_bfm_tb: Master Read request from address 0003