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

Peter Monsson

  • Email: Must_Login
  • Registered on: 08/28/2019
  • Last connection: 12/15/2019

Issues

Activity

12/21/2019

08:18 PM Verilator Issue #1640: disable iff in assertion causes assertion to fail
I have updated the patch to handle cover and assertion properties. The old behavior stays for cover properties. The n...
11:05 AM Verilator Issue #1640: disable iff in assertion causes assertion to fail
Ahh, I see.
blockp = new AstAnd(nodep->disablep()->fileline(),
new As...

12/20/2019

08:04 PM Verilator Issue #1640: disable iff in assertion causes assertion to fail
I have updated to the newest master and created a patch with testcases. I hope that this is sufficient. Please let me...

12/15/2019

08:05 PM Verilator Issue #1641 (Resolved): Statement queue pop_front error after foreach
Hi Wilson,
Thank you for adding queues and associative arrays to Verilator. This is amazing!
I played around wi...
07:40 PM Verilator Issue #1640 (Assigned): disable iff in assertion causes assertion to fail
The following assertion should never fail:
a_valid: assert property (
@(posedge clk) disable iff (1==1)
...
06:05 PM Verilator Issue #1609: Detect and warn appripriately on intentional latches
Hi Julien,
I would like to help you out on this task. Is there anything that you would like to get off your plate?...

Also available in: Atom