A Formal Approach to Incremental Converter Synthesis for System-on-Chip Design

Abstract : A system-on-chip (SoC) contains numerous intellectual property blocks, or IPs. Protocol mismatches between IPs may affect the system-level functionality of the SoC. Mismatches are addressed by introducing converters to control inter-IP interactions. Current approaches towards converter generation find limited practical application as they use restrictive models, lack formal rigour, handle a small subset of commonly encountered mismatches, and/or are not scalable. We propose a formal technique for SoC design using incremental converter synthesis. The proposed formulation provides precise models for protocols and requirements, and provides a scalable algorithm that allows adding multiple components and requirements to an SoC incrementally. We prove that the technique is sound and complete. Experimental results obtained using real-life AMBA benchmarks show the scalability and wide range of mismatches handled by our approach.
Document type :
Journal articles
Liste complète des métadonnées

https://hal.inria.fr/hal-01092255
Contributor : Gregor Gössler <>
Submitted on : Monday, December 8, 2014 - 2:38:41 PM
Last modification on : Thursday, October 11, 2018 - 8:48:04 AM

Identifiers

Collections

Citation

Roopak Sinha, Alain Girault, Gregor Gössler, Partha Roop. A Formal Approach to Incremental Converter Synthesis for System-on-Chip Design. ACM Transactions on Design Automation of Electronic Systems, Association for Computing Machinery, 2014, 20, pp.30. ⟨10.1145/2663344⟩. ⟨hal-01092255⟩

Share

Metrics

Record views

258