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 • Techniques included – Partitioned BDDs – Reordered variables – Implemented better search for counterexamples