how can i write assertion for
property read_assertiojn;
@(posedge clk) (command==1 |-> (##2 command==2 || ##5 command==4 || ##6 command==3)
endproperty
assert property(read_assertion);
there is a syntex error in the way i wrote assertion.
how can i write assertion for
property read_assertiojn;
@(posedge clk) (command==1 |-> (##2 command==2 || ##5 command==4 || ##6 command==3)
endproperty
assert property(read_assertion);
there is a syntex error in the way i wrote assertion.
In reply to arshi ali:
You need the sequence ORing operator and not the logical ORing operator. Thus,
ap_cmd: assert property(@(posedge clk) command==1 |->
##2 command==2 or ##5 command==4 or ##6 command==3);
Ben Cohen
http://www.systemverilog.us/ ben@systemverilog.us
For training, consulting, services: contact Home - My cvcblr