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
Clasificación:Libro Electrónico
Autores principales: Sinha, Roopak (Autor), Roop, Parthasarathi (Autor), Basu, Samik (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: New York, NY : Springer New York : Imprint: Springer, 2014.
Edición:1st ed. 2014.
Temas:
Electronic circuits.
Microprocessors.
Computer architecture.
Electronics.
Electronic Circuits and Systems.
Processor Architectures.
Electronics and Microelectronics, Instrumentation.
Acceso en línea:Texto Completo

MARC

LEADER 00000nam a22000005i 4500
001 978-1-4614-7864-5
003 DE-He213
005 20220114162235.0
007 cr nn 008mamaa
008 130821s2014 xxu| s |||| 0|eng d
020 |a 9781461478645  |9 978-1-4614-7864-5 
024 7 |a 10.1007/978-1-4614-7864-5  |2 doi 
050 4 |a TK7867-7867.5 
072 7 |a TJFC  |2 bicssc 
072 7 |a TEC008010  |2 bisacsh 
072 7 |a TJFC  |2 thema 
082 0 4 |a 621.3815  |2 23 
100 1 |a Sinha, Roopak.  |e author.  |4 aut  |4 http://id.loc.gov/vocabulary/relators/aut 
245 1 0 |a Correct-by-Construction Approaches for SoC Design  |h [electronic resource] /  |c by Roopak Sinha, Parthasarathi Roop, Samik Basu. 
250 |a 1st ed. 2014. 
264 1 |a New York, NY :  |b Springer New York :  |b Imprint: Springer,  |c 2014. 
300 |a XXI, 144 p.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
505 0 |a System-on-A-Chip Design.- The AMBA SOC Platform.- Automatic Verification using Model and Module Checking -- Models for SoCs and Specifications -- SoC Design Methodology -- Automatic Protocol Conversion -- Related Work and Outlook.- Appendix: Converter Generation Algorithm. 
520 |a 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. ·         Provides a single-source reference to correct-by-construction SoC design; ·         Enables optimized design cycles, with techniques to reuse IP blocks reliably; ·         Uses realistic SoC case studies to highlight the concepts introduced;  ·         Demonstrates techniques using industrial standard SoC frameworks such as ARM AMBA. 
650 0 |a Electronic circuits. 
650 0 |a Microprocessors. 
650 0 |a Computer architecture. 
650 0 |a Electronics. 
650 1 4 |a Electronic Circuits and Systems. 
650 2 4 |a Processor Architectures. 
650 2 4 |a Electronics and Microelectronics, Instrumentation. 
700 1 |a Roop, Parthasarathi.  |e author.  |4 aut  |4 http://id.loc.gov/vocabulary/relators/aut 
700 1 |a Basu, Samik.  |e author.  |4 aut  |4 http://id.loc.gov/vocabulary/relators/aut 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer Nature eBook 
776 0 8 |i Printed edition:  |z 9781489986399 
776 0 8 |i Printed edition:  |z 9781461478638 
776 0 8 |i Printed edition:  |z 9781461478652 
856 4 0 |u https://doi.uam.elogim.com/10.1007/978-1-4614-7864-5  |z Texto Completo 
912 |a ZDB-2-ENG 
912 |a ZDB-2-SXE 
950 |a Engineering (SpringerNature-11647) 
950 |a Engineering (R0) (SpringerNature-43712) 

Ejemplares similares