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...
| Những tác giả chính: | , |
|---|---|
| Định dạng: | Conference item |
| Được phát hành: |
2008
|