OpenFPGA/docs/source/fpga_verilog/func_verify.rst

13 lines
990 B
ReStructuredText
Raw Normal View History

2018-09-13 16:38:41 -05:00
Perform Functionality Verification
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
If the --fpga_verilog_print_modelsim_autodeck option is selected, it is possible to directly generate scripts for Modelsim. Inside of the Verilog directory specified with --fpga_verilog_dir can be found name_runsim.tcl scripts which perform the functional verification onto the FPGA generated.
2019-04-01 17:29:42 -05:00
The point of the verification step is to check that the FPGA reproduces the right function. As illustrated in :numref:`fig_ModelSim`, inside of the red rectangle is the programming of the FPGA. Each prog clock cycle corresponds to one bit added to the scan-chain. Inside of the blue rectangle, we see that the prog clock is set to 0 and the operating clock is toggled. Two outputs are shown, benchmark and FPGA, and by checking the value on both of them, we know if the functionality is respected.
.. _fig_ModelSim:
2020-03-09 11:15:16 -05:00
.. figure:: figures/verification_step.png
:scale: 50%
:alt: Functional Verification using ModelSim