Project

General

Profile

[logo] 
 
Home
News
Activity
About/Contact
Major Tools
  Dinotrace
  Verilator
  Verilog-mode
  Verilog-Perl
Other Tools
  BugVise
  CovVise
  Force-Gate-Sim
  Gspice
  IPC::Locker
  Rsvn
  SVN::S4
  Voneline
  WFH
General Info
  Papers

Issue #1350

Support for immediate restict

Added by Clifford Wolf 3 months ago. Updated 2 months ago.

Status:
Closed
Priority:
Low
Assignee:
Category:
Unsupported
% Done:

0%


Description

Verilator has support for immediate assert and assume. Immediate restrict statements should simply be parsed identically but then ignored. So it wouldn't be too hard to add support for it, and it might help getting rid of ifdef blocks in some cases.

History

#1 Updated by Wilson Snyder 3 months ago

  • Category set to Unsupported
  • Status changed from New to Resolved
  • Assignee set to Wilson Snyder

Straightforward enough.

Pushed to git towards 4.004.

Also note this version will add $past.

#2 Updated by Clifford Wolf 3 months ago

Wilson Snyder wrote:

Also note this version will add $past.

Awesome! Thanks.

#3 Updated by Wilson Snyder 2 months ago

  • Status changed from Resolved to Closed

In 4.004.

Also available in: Atom