Assisting Refinement in System-on-Chip Design

Hocine Mokrani Rabea Ameur-Boulifa Emmanuelle Encrenaz 1
1 ALSOC - Architecture et Logiciels pour Systèmes Embarqués sur Puce
LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : With the increasing complexity of systems on chip, designers have adopted layered design methodologies, where the description of systems is made by steps. Currently, those methods do not ensure the preservation of properties in the process of system development. In this paper, we present a system on chip design method, based on model transformations—or refinements—in order to guarantee the preservation of functional correctness along the design flow. We also provide experimental results showing the benefits of the approach when property verification is concerned.
Document type :
Book sections
Complete list of metadatas
https://hal.archives-ouvertes.fr/hal-01221739
Contributor : Lip6 Publications <>
Submitted on : Wednesday, October 28, 2015 - 2:46:19 PM
Last modification on : Thursday, December 19, 2019 - 11:52:08 AM

Identifiers

Collections

CNRS | UPMC | LIP6 | SORBONNE-UNIVERSITE | SU-SCIENCES

Citation

Hocine Mokrani, Rabea Ameur-Boulifa, Emmanuelle Encrenaz. Assisting Refinement in System-on-Chip Design. Languages, Design Methods, and Tools for Electronic System Design, Selected Contributions from FDL 2013, 311, Springer, pp.21-42, 2015, Lecture Notes in Electrical Engineering, ⟨10.1007/978-3-319-06317-1_2⟩. ⟨hal-01221739⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

122

Contact

Informations

CCSD