Formal Verification of Synchronous Models: An Industrial Application ...
Formal Verification of Synchronous Models: An Industrial Application ...
Formal Verification of Synchronous Models: An Industrial Application ...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Globally Asynchronous/Locally <strong>Synchronous</strong> ArchitecturesLeftFGSL►RChannelRightFGSR ►LChannel• Occurs Naturally in System <strong>Models</strong>• Model Asynchrony by Adding Enabling Clocks• Interleaving Leads to State Space Explosion• Need to Exploit the Constraints <strong>of</strong> Real Systems© 2006 Rockwell Collins, Inc. All rights reserved.40