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
Author Name: Rick Ramus
Original Redmine Issue: 229 from https://www.veripool.org
Original Date: 2010-03-31
Original Assignee: Wilson Snyder (@wsnyder)
For the following assert statement: define ASSERT1(sig,rst) assert final(rst || $onehot0(sig)) ASSERT1(sig,rst)
I get the following error:
Syntax error, unexpected "final", expecting "property"
For the following assert statement: define ASSERT2(prop,clk,rst) assert property(never(prop, clk, rst)) ASSERT2(prop, posedge clk, rst)
I get the following error:
Syntax error, unexpected "posedge", expecting "CLASS-IDENTIFIER" or "COVERGROUP-IDENTIFIER" or "TYPE-IDENTIFIER"
The text was updated successfully, but these errors were encountered:
Author Name: Rick Ramus
Original Redmine Issue: 229 from https://www.veripool.org
Original Date: 2010-03-31
Original Assignee: Wilson Snyder (@wsnyder)
For the following assert statement:
define ASSERT1(sig,rst) assert final(rst || $onehot0(sig))
ASSERT1(sig,rst)I get the following error:
Syntax error, unexpected "final", expecting "property"
For the following assert statement:
define ASSERT2(prop,clk,rst) assert property(never(prop, clk, rst))
ASSERT2(prop, posedge clk, rst)I get the following error:
Syntax error, unexpected "posedge", expecting "CLASS-IDENTIFIER" or "COVERGROUP-IDENTIFIER" or "TYPE-IDENTIFIER"
The text was updated successfully, but these errors were encountered: