I am currently engaged in closure of CDC functional checks but to my frustration the run for CDC functional checks is taking a great deal of time and till now its just too slow to see it finish. I would like to know if there is any way on how I may investigate this problem and hopefully speed the runtime considerably. The design has a gate count of around 2.8 million.
I was instructed (by email, post not in forum) to clear up structural violations and once I was able to clear all the structural violations in the design I fired a run to perform all the functional CDC checks. The total run time taken was approx. 5-6 days, but to my suprise most (95%) of the checks returned a status of ED (explored depth), indicating a higher prove effort is required (but atleast the run finished with some results).
If I do increase prove effort won't it increase the already long run time or are there any other suggestions on how I may proceed to reduce the run time by also reducing the total number of ED paths.
Thanks for the help,