A Compositional Approach to Asynchronous Design Verification with Automated State Space Reduction
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...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
Scholar Commons
2007
|
| Subjects: | |
| Online Access: | http://scholarcommons.usf.edu/etd/3751 http://scholarcommons.usf.edu/cgi/viewcontent.cgi?article=4946&context=etd |