In reply to E_R_R:
I doubt if popular FV tools would support asynchronous SVA such as these. However, this seems to be a RDC-related check (more or less a structural check) and there are special tools that may fit the bill here.
Regards
Srini
In reply to E_R_R:
I doubt if popular FV tools would support asynchronous SVA such as these. However, this seems to be a RDC-related check (more or less a structural check) and there are special tools that may fit the bill here.
Regards
Srini