General

Profile

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

John Coiner

  • Email: Must_Login
  • Registered on: 09/15/2017
  • Last connection: 05/03/2019

Issues

Projects

Activity

05/03/2019

04:50 PM Verilator Usage: RE: UNOPTTHREADS even for parallel designs
Hi Al,
Par factor is defined in internals.pod:
'The available parallelism or "par-factor" of a DAG is the total...

03/13/2018

12:51 AM Verilator Issue #1292: scr1 test suite: |-> and |=> operators are unsupported in assertions
Verilator does not support the "|->" or "|=>" operators or the sequence expression ("##") operator.
In general, Ve...

03/12/2018

11:45 PM Verilator Issue #785: Support for SystemVerilog assertions
Fixed in git towards 3.922
11:44 PM Verilator Issue #1290: scr1 test suite: assert properties don't work
Fixed in git towards 3.922

03/11/2018

02:56 PM Verilator Issue #785 (Closed): Support for SystemVerilog assertions
02:56 PM Verilator Issue #1290 (Closed): scr1 test suite: assert properties don't work
02:56 PM Verilator Issue #785: Support for SystemVerilog assertions
Here's the fix.
commit c8cf2afb15860722e19c4ea6dd7ca0bc74010fac (HEAD -> master, origin/master, origin/HEAD)
Au...
02:55 PM Verilator Issue #1290: scr1 test suite: assert properties don't work
Here's the fix.
commit c8cf2afb15860722e19c4ea6dd7ca0bc74010fac (HEAD -> master, origin/master, origin/HEAD)
Au...

03/10/2018

06:33 PM Verilator Issue #785: Support for SystemVerilog assertions
UPDATE: there IS a fundamental difficulty supporting unclocked combinational concurrent asserts -- they're not allowe...
06:29 PM Verilator Issue #1290: scr1 test suite: assert properties don't work
Thanks. I discovered that concurrent asserts are always clocked in verilog.
So this is a dup of 785.

Also available in: Atom