Loading [a11y]/accessibility-menu.js
Correct-by-construction multi-component SoC design | IEEE Conference Publication | IEEE Xplore

Correct-by-construction multi-component SoC design


Abstract:

Systems-on-chip (SoCs) contain multiple interconnected and interacting components. In this paper, we present a compositional approach for the integration of multiple comp...Show More

Abstract:

Systems-on-chip (SoCs) contain multiple interconnected and interacting components. In this paper, we present a compositional approach for the integration of multiple components with a wide range of protocol mismatches into a single SoC. We show how SoC construction can be done in single-step when all components are integrated at once or it can also be performed incrementally by adding components to an already integrated design. Using a number of AMBA IPs, we show that the proposed framework is able to perform protocol conversion in many cases where existing approaches fail.
Date of Conference: 12-16 March 2012
Date Added to IEEE Xplore: 03 April 2012
ISBN Information:

ISSN Information:

Conference Location: Dresden, Germany

References

References is not available for this document.