General

Profile

[logo] 
 
Home
About/Contact
Major Tools
  Dinotrace
  Verilator
  Verilog-mode
  Verilog-Perl
Other Tools
  IPC::Locker
  Parallel::Forker
  Voneline
General Info
  Papers

Eric Rippey

  • Email: Must_Login
  • Registered on: 09/30/2019
  • Last connection: 12/09/2019

Issues

Activity

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.

Also available in: Atom