The system GPIO input[31] line is connected to the microSD card detect feature of the Genesys 2 (FPGA) and SD card DPI model (Verilator), which means that in the Verilator testbench the GPIO DPI model output[31] line does not drive anything. Perhaps we want to add some logic to detect if someone attempts to toggle that line, and warn them that it will not do anything.
The system GPIO input[31] line is connected to the microSD card detect feature of the Genesys 2 (FPGA) and SD card DPI model (Verilator), which means that in the Verilator testbench the GPIO DPI model output[31] line does not drive anything. Perhaps we want to add some logic to detect if someone attempts to toggle that line, and warn them that it will not do anything.