[logo] 
Home
News
Activity
About/Contact
Major Tools
  BugVise
  Dinotrace
  Verilator
  Verilog-mode
  Verilog-Perl
  Vregs
Other Tools
  Gspice
  IPC::Locker
  Schedule::Load
  SVN::S4
  Synopsys-modes
  SystemPerl
  Verilog-Pli
  Voneline
General Info
  Book Tips
  Papers

Issue #9

System Verilog Concurrent Assertion with Label Not Parsed Correctly

Added by Sean de la Haye 194 days ago. Updated 180 days ago.

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.

Also available in: Atom PDF