Formal Verification of Synchronous Models: An Industrial Application ...
Formal Verification of Synchronous Models: An Industrial Application ...
Formal Verification of Synchronous Models: An Industrial Application ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Translator OptimizationsModelCPU Time(To Compute ReachableStates)ImprovementBeforeAfterMode1> 2 hours11 sec∞Mode2> 6 hours169 sec∞Mode3> 2 hours14 sec∞Mode48 minutes< 1 sec480xArch34 sec< 1 sec34xWBS29+ hours1 sec105,240x© 2006 Rockwell Collins, Inc. All rights reserved.34