A Refinement Approach to Design and Verification of On−Chip Communication Protocols
Modern computer systems rely more and more on on-chip communication protocols to exchange data. To meet performance requirements these protocols have become highly complex, which usually makes their formal verification infeasible with reasonable time and effort. We present a new refinement approach...
| Main Authors: | , |
|---|---|
| Format: | Conference item |
| Published: |
IEEE
2008
|