This example shows how to use HDL Verifier™ in conjunction with Mentor Graphics ModelSim®/QuestaSim® or Cadence Incisive®/Xcelium® to verify HDL code for a fixed-point Viterbi decoder.
If you are using ModelSim/QuestaSim, open the model viterbi_modelsim.slx.
If you are using Incisive/Xcelium, open the model viterbi_incisive.slx.
Before launching ModelSim, make sure that the ModelSim executables are on the MATLAB® system path.
Launch ModelSim by double-clicking the "ModelSim Startup Command" block in the Simulink model, or by executing the following command in your MATLAB console:
Before launching Incisive, make sure that the Incisive executables are on the MATLAB® system path.
Launch Incisive by double-clicking the "Incisive Startup Command" block in the Simulink model, or by executing the following command in your MATLAB console:
When HDL simulator has finished compiling the VHDL files and loading the simulation, the text "Ready for cosimulation ..." is displayed in the HDL simulator command window. After you see this text, start Simulink simulation from the open model.
When the simulation stops, observe the bit error rate displayed at the "BER Display" block.
There are two parameters that control the behavior of this model. The first is the frame size and the other is the Es/No used for simulation. You can change those parameters in the MATLAB console. For example,
FrameSize = 10; EsNo = 5;
Then you can rerun the cosimulation with updated parameters by starting the simulation again from the model.
Close the ModelSim or Incisive session. Then return to Simulink and close the model.