Hi all, is there any example testbench, makefile, or documention/instructions, of how to do a gate level simulation of our digital design within the whole chip (including the Management SoC)? In Verilog (not cocotb)?