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. © 2015 Springer International Publishing.
CITATION STYLE
Mokrani, H., Ameur-Boulifa, R., & Encrenaz-Tiphene, E. (2015). Assisting refinement in system-on-chip design. In Lecture Notes in Electrical Engineering (Vol. 311 LNEE, pp. 21–42). Springer Verlag. https://doi.org/10.1007/978-3-319-06317-1_2
Mendeley helps you to discover research relevant for your work.