In reply to curious_learner:
Unsupported subset of multi-clock constructs
I don’t believe that formal verification tools support multiclocking.
You’ll ned to contact your vendor.
You could change the code to have a single clocking system and evaluate that condition.
Ben