Embedded system design: modeling, synthesis and verification

This book is about design of Embedded Systems. It presents information on howto design a future multiprocessor system consisting of several processors andother components. It describes design methodology, modeling techniques, software and hardware synthesis methods and techniques for verification of such many-processor systems. It covers methodology, design and tool concepts and it delves into modeling practice and requirement all the way from application specification to system prototyping. The authors also provide model based system synthesis techniques, including algorithms for platform design and application to platform mapping. INDICE: Introduction.- System Design Methodologies.- Modeling.- System Synthesis.- Software Synthesis.- Hardware Synthesis.- Verification.- Embedded Design Practice.

• ISBN: 978-1-4419-0503-1
• Editorial: Springer
• Encuadernacion: Cartoné
• Páginas: 328
• Fecha Publicación: 01/08/2009
• Nº Volúmenes: 1
• Idioma: Inglés