Correct-by-Construction Approaches - E-book

eBook

Correct-by-construction Approaches For Soc Design - ENG

Roopak Sinha; Parthasarathi Roop; Samik Basu

eBook

$1,980.00

Disponible

Información adicional
Sinopsis

ISBN:	9781461478645
Formato:	ePub
Idioma:	Inglés
Editorial:	Springer Nature
Tema:	Tecnología e ingeniería
Subtema:	Eletrónica circuitos
Año de publicación:	2013-08-23

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.

eBooks