Provably correct on−chip communication: A formal approach to automatic protocol converter synthesis
Hardware module reuse is a standard solution to the problems of increasing complexity of chip architectures and pressure to reduce time to market. In the absence of a single module interface standard, predesigned modules for ?plug-and-play? usually require a converter between incompatible interface...
| Main Authors: | , , , , |
|---|---|
| 格式: | Journal article |
| 出版: |
2009
|