ENGLISH

Correct-by-Construction Approaches for SoC Design

By Roopak Sinha , Parthasarathi Roop , Samik Basu (auth.)

Book information

Publisher
Springer-Verlag New York
Year
2014
ISBN
978-1-4614-7863-8, 978-1-4614-7864-5
DOI
10.1007/978-1-4614-7864-5
Language
english
Format
PDF
Filesize
3 MB (3061122 bytes)
Edition
1
Pages
144\163
Orientation
yes
Scanned
yes
Time added
2013-08-29 23:31:16
Circuits and Systems; Processor Architectures; EleInstrumentation

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.

Similar books