Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.Sign up
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.