search

leonardt / fault

A Python package for testing hardware (part of the magma ecosystem)
BSD 3-Clause "New" or "Revised" License
41 stars 13 forks source link

Incorrect SV syntax with wait #295

Closed Kuree closed 3 years ago

Kuree commented 3 years ago

Generated SV code:

        while ((dut.valid) === (0)) begin
            #5
        end

Correct code:

        while ((dut.valid) === (0)) begin
            #5;
        end

How to reproduce: Run https://github.com/leonardt/magma_examples/blob/master/tests/test_risc.py with "system-verilog".