Correct-by-construction approaches for SoC design

This book describes an approach for designing Systems-on-Chip such that the system meets precise mathematical requirements. The methodologies presented enable embedded systems designers to reuse intellectual property (IP) blocks from existing designs in an efficient, reliable manner, automatically g...

Descripción completa

Detalles Bibliográficos
Autores principales: Sinha, Roopak, Roop, Parthasarathi, Basu, Samik
Lenguaje:eng
Publicado: Springer 2013
Materias:
Engineering
Acceso en línea:https://dx.doi.org/10.1007/978-1-4614-7864-5
http://cds.cern.ch/record/1620118
_version_ 1780933084336619520
author Sinha, Roopak
Roop, Parthasarathi
Basu, Samik
author_facet Sinha, Roopak
Roop, Parthasarathi
Basu, Samik
author_sort Sinha, Roopak
collection CERN
description This book describes an approach for designing Systems-on-Chip such that the system meets precise mathematical requirements. The methodologies presented enable embedded systems designers to reuse intellectual property (IP) blocks from existing designs in an efficient, reliable manner, automatically generating correct SoCs from multiple, possibly mismatching, components.
id cern-1620118
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2013
publisher Springer
record_format invenio
spelling cern-16201182021-04-21T21:53:51Zdoi:10.1007/978-1-4614-7864-5http://cds.cern.ch/record/1620118engSinha, RoopakRoop, ParthasarathiBasu, SamikCorrect-by-construction approaches for SoC designEngineeringThis book describes an approach for designing Systems-on-Chip such that the system meets precise mathematical requirements. The methodologies presented enable embedded systems designers to reuse intellectual property (IP) blocks from existing designs in an efficient, reliable manner, automatically generating correct SoCs from multiple, possibly mismatching, components.Springeroai:cds.cern.ch:16201182013
spellingShingle Engineering
Sinha, Roopak
Roop, Parthasarathi
Basu, Samik
Correct-by-construction approaches for SoC design
title Correct-by-construction approaches for SoC design
title_full Correct-by-construction approaches for SoC design
title_fullStr Correct-by-construction approaches for SoC design
title_full_unstemmed Correct-by-construction approaches for SoC design
title_short Correct-by-construction approaches for SoC design
title_sort correct-by-construction approaches for soc design
topic Engineering
url https://dx.doi.org/10.1007/978-1-4614-7864-5
http://cds.cern.ch/record/1620118
work_keys_str_mv AT sinharoopak correctbyconstructionapproachesforsocdesign
AT roopparthasarathi correctbyconstructionapproachesforsocdesign
AT basusamik correctbyconstructionapproachesforsocdesign

Ejemplares similares