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...
| Príomhchruthaitheoirí: | , |
|---|---|
| Formáid: | Conference item |
| Foilsithe / Cruthaithe: |
2008
|