Veripool

12/09/2019

06:55 PM Verilator Issue #1590: Fuzzer: Segfault on parameter as generate condition

Yes, that change can be made. Unfortunately though, this makes it unlikely to find anything. The fuzzer itself tend...

11/06/2019

11:10 PM Verilator Issue #1590: Fuzzer: Segfault on parameter as generate condition

Regarding only crashes with no output, that's easier said than done. I don't know of any fuzzer capable of doing tha...

12:35 AM Verilator Issue #1589: Fuzzer: Segfault on genvar out of scope

Regarding the scope: that's interesting. I think you're right but it took me longer to confirm that than I expected....

11/04/2019

08:27 PM Verilator Issue #1591 (Closed): Fuzzer: Segfault on $left of non-scalar

Running the attached testcase with:
verilator_bin --lint-only 9.sv
On version:
Verilator 4.020 devel rev v4....

07:49 PM Verilator Issue #1590 (Closed): Fuzzer: Segfault on parameter as generate condition

Running the attached testcase with:
verilator_bin --lint-only 8.sv
On version:
Verilator 4.020 devel rev v4....

07:32 PM Verilator Issue #1589 (Closed): Fuzzer: Segfault on genvar out of scope

Running the attached testcase with:
verilator_bin --lint-only 7.sv
On version:
Verilator 4.020 devel rev v4....

06:54 PM Verilator Issue #1588 (Closed): Fuzzer: Segfault on interface index out of range

Running the attached testcase with:
verilator_bin --lint-only 6.sv
on version:
Verilator 4.020 devel rev v4....

06:34 PM Verilator Issue #1587 (Duplicate): Fuzzer: Segfault with no diagnostic with "--coverage" and different widths

Running the attached testcase with:
verilator_bin --lint-only --coverage 5.sv
On version:
Verilator 4.020 de...

06:15 PM Verilator Issue #1586 (Closed): Fuzzer: Segfault on sliced compare with different shapes

Running the attached testcase with:
verilator_bin --lint-only 4.sv
On version:
Verilator 4.020 devel rev v4....

05:47 PM Verilator Issue #1584: Fuzzer: Segfault on pattern assignment

It seems that I missed uploading the testcase here.