#313 Spurious parse error on complex property

v1.0_(example)
closed-fixed
nobody
None
5
2015-02-24
2014-02-02
Armond
No

Spurious parse error on complex property. Here's snippet from testcase... pull request to follow.

Error:

"Expecting one of operator ";" ; received "[" "

Snippet:

    " module test ();\n" +
    " property some_prop(clk, rst_n, valid, mode, timing); \n" +
    "       int count; \n" +
    "     @(posedge clk) disable iff (!rst_n || !valid) \n" +
    "       (sigX === {sigA{1'b1}}) ##1 (sigY == mode) ##0 (1, count = timing) |=> \n" +
    "               ($stable(sigZ) && count, count = count - 1)[*0:$] ##1 (count == 0) ##0 (sigZ === {sigB{1'b1}}); \n" +
    " endproperty\n" +
    " endmodule\n"

Discussion

  • Matthew Ballance

    • Description has changed:

    Diff:

    --- old
    +++ new
    @@ -1,4 +1,3 @@
    -
     Spurious parse error on complex property.  Here's snippet from testcase... pull request to follow.
    
    • status: open --> closed-fixed
     
  • Matthew Ballance

    Just updating things. Looks like this has been corrected for a while.

     

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks