You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
The text was updated successfully, but these errors were encountered:
Author Name: Clifford Wolf (@cliffordwolf)
Original Redmine Issue: 1350 from https://www.veripool.org
Original Assignee: Wilson Snyder (@wsnyder)
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.
The text was updated successfully, but these errors were encountered: