Correct-by-Construction Multi-Component SoC Design

Provided by: edaa
Topic: Hardware
Format: PDF
Systems-on-Chip (SoCs) contain multiple interconnected and interacting components. In this paper, the authors present a compositional approach for the integration of multiple components with a wide range of protocol mismatches into a single SoC. They 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, they show that the proposed framework is able to perform protocol conversion in many cases where existing approaches fail.

Find By Topic