18.13.2, Page 260

Change (Missing semicolon after proto and parenthesis around dist expression)

a1:assume property @(posedge clk) req dist {0:=40, 1:=60} ;

property proto

@(posedge clk) req |-> req[*1:$] ##0 ack;

endproperty

TO

a1:assume property @(posedge clk) ( req dist {0:=40, 1:=60}) ;

property proto ;

@(posedge clk) req |-> req[*1:$] ##0 ack;

Endproperty

Change (Missing semicolon after proto_assertion and parenthesis around inside expression)

a1_assertion:assert property req inside {0, 1} ;

property proto_assertion

@(posedge clk) req |-> req[*1:$] ##0 ack;

endproperty

TO

a1_assertion:assert property ( req inside {0, 1} ) ;

property proto_assertion ;

@(posedge clk) req |-> req[*1:$] ##0 ack;

endproperty