In reply to Ramchandra:
if ur design requires sop must follow valid signal, then u must write another assertion to verify that sop doesn’t become true until valid signal is true
In reply to Ramchandra:
if ur design requires sop must follow valid signal, then u must write another assertion to verify that sop doesn’t become true until valid signal is true