Issue #9
System Verilog Concurrent Assertion with Label Not Parsed Correctly
| Status: | Assigned | Start: | 05/21/2008 | |
| Priority: | Low | Due date: | ||
| Assigned to: | Wilson Snyder | % Done: | 0% |
|
| Category: | - | |||
| Target version: | - | |||
Description
This code is not parsed correctly...
module assertion_error;
wire clk;
wire rst_n;
reg a;
reg b;
sample_assertion: assert property (
@(posedge clk)
disable iff (!rst_n)
(a !== b)
);
endmodule
I receive this error:
%Error: assertion_error.sv:6: syntax error, unexpected ':', expecting '('
Exiting due to errors
I'm using version 3.035 of Verilog-Perl on a RedHat Opteron machine.
History
06/04/2008 04:36 PM - Wilson Snyder
- Status changed from New to Assigned
- Assigned to set to Wilson Snyder
- Priority changed from High to Low
This isn't proving easy, because there are other SystemVerilog assertion parse issues that haven't been added yet. It will take a while to get all of this in and working; if you'd like to help out drop me a line.
![[logo]](/img/veripool_small.gif)