req##2gnt##1!req
how it will work?
In reply to harinathdigital@gmail.com:
After the rose of req, use the implication operator.
$rose(req) implication operator ##2gnt##1!req
Study SVA!
Ben Ben@systemverilog.us
req##2gnt##1!req
how it will work?
In reply to harinathdigital@gmail.com:
After the rose of req, use the implication operator.
$rose(req) implication operator ##2gnt##1!req
Study SVA!
Ben Ben@systemverilog.us