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...
| Huvudupphovsmän: | , |
|---|---|
| Materialtyp: | Conference item |
| Publicerad: |
2008
|
Search Result 1
A Refinement Approach to Design and Verification of On−Chip Communication Protocols
Publicerad 2008
Conference item
Search Result 2
A Refinement Approach to Design and Verification of On−Chip Communication Protocols
Publicerad 2008
Conference item