This is a sample testbench for a Tiny Tapeout project. It uses cocotb to drive the DUT and check the outputs. See below to get started or for more information, check the website.
- Edit Makefile and modify
PROJECT_SOURCESto point to your Verilog files. - Edit tb.v and replace
tt_um_examplewith your module name.
To run the RTL simulation:
make -BTo run gatelevel simulation, first harden your project and copy ../runs/wokwi/results/final/verilog/gl/{your_module_name}.v to gate_level_netlist.v.
Then run:
make -B GATES=yesIf you wish to save the waveform in VCD format instead of FST format, edit tb.v to use $dumpfile("tb.vcd"); and then run:
make -B FST=This will generate tb.vcd instead of tb.fst.
Using GTKWave
gtkwave tb.fst tb.gtkwUsing Surfer
surfer tb.fst