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 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.

Conversing at Many Layers: Multi-layer System-on-Chip Protocol Conversion

“…Additional information needed by a specific technique can be modelled as additional meta-data. Capturing requirements is more tricky; Some approaches have implicit requirements [5], [12] while others support models in temporal logic [6] or different finite-state machine variants [4]. Hence, normalizing requirements might require additional formalization.…”

“…Formal protocol conversion algorithms like [4]- [7] can automatically generate IPs called converters that guarantee that the system will satisfy implicit or user-specified requirements. Unfortunately, existing algorithms either target single OSI layers [5], or do not provide a ready path to implementing converters [4], [6], [7].…”