Hi All,
I am writing a assertion for “a” signal should valid until “b” signal set to the value 8’hF. This “b” signal set to any clock we cannot determine. Then “c” signal must be to 8’hF.
property test;
@(posedge) clk
(a && (##[1:$]b==8'hF) |-> c==8'hF;
endproperty
test_checker : assert property(test)
else
$error("test property failed");
But i am facing the compilation error. Any one suggest me to how to write the assertion for this scenario.
Thanks in Advance
Rajaraman R