Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 1 of 1
Full-Text Articles in Computer Engineering
A Compositional Approach To Asynchronous Design Verification With Automated State Space Reduction, Jared Ahrens
A Compositional Approach To Asynchronous Design Verification With Automated State Space Reduction, Jared Ahrens
USF Tampa Graduate Theses and Dissertations
Model checking is the most effective means of verifying the correctness of asynchronous designs, and state space exploration is central to model checking. Although model checking can achieve very high verification coverage, the high degree of concurrency in asynchronous designs often leads to state explosion during state space exploration. To inhibit this explosion, our approach builds on the ideas of compositional verification. In our approach, a design modeled in a high level description is partitioned into a set of parallel components. Before state space exploration, each component is paired with an over-approximated environment to decouple it from the rest of …