Checking properties

• Initial attempts to check any property generated BDDs of over 200MB

• First successful check took 13 hours

  • Was reduced to a few minutes

• Partitioned BDDs

• Reordered variables

• Implemented better search for counterexamples

Previous slide

Next slide

Back to first slide

View graphic version