In reply to Shyam_093:
Do you believe your property is a good one? You are checking on each rising edge of clk if B is equal to C this might cause a lot of fails.
What is missing in your property is a pre-condition after that the checking starts.
In reply to Shyam_093:
Do you believe your property is a good one? You are checking on each rising edge of clk if B is equal to C this might cause a lot of fails.
What is missing in your property is a pre-condition after that the checking starts.