Design and Verification of On−Chip Communication Protocols
Modern computer systems rely more and more on on-chip communication protocols to exchange data. To tackle performance requirements these protocols have become highly complex, which makes their formal verification usually infeasible with reasonable time and effort. We present an initial case study fo...
| Main Authors: | , |
|---|---|
| Format: | Report |
| Published: |
OUCL
2015
|