A Formal Approach To The Protocol Converter Problem
In the absence of a single module interface standard, integration of pre-designed modules in System-on-Chip design often requires the use of protocol converters. Existing approaches to automatic synthesis of protocol converters mostly lack formal foundations and either employ abstractions that ignor...
Main Authors: | , , , , |
---|---|
Other Authors: | |
Format: | Conference item |
Published: |
ACM/IEEE
2008
|