How do write SVA for sequential req followed by ack ??
Functional Verification, System Verilog 0 CommentsThis is tricky and generally we get confuse and think that req |-> ##[1:$] ack ; will give the correct result but this is not true The solution for this issue is module req_ack_sequential_checker(input bit clk,input bit req,input bit ack);bit error_flag ; // Error flag to indicate a protocol violationbit last_req_acknowledged ; // Flag to