MULTICORE SYSTEMS ON-CHIP
A more qualitative approach of system validation is based on the use of formal techniques for hardware design. The main advantage of formal methods is the possibility to prove the validity of essential designrequirements. As formal languages have a mathematical foundation, it is possible to formally...
Main Author: | |
---|---|
Format: | eBook |
Language: | English |
Published: |
Paris
Atlantis Press
2010, 2010
|
Edition: | 1st ed. 2010 |
Series: | Atlantis Ambient and Pervasive Intelligence
|
Subjects: | |
Online Access: | |
Collection: | Springer eBooks 2005- - Collection details see MPG.ReNa |
Table of Contents:
- Multicore Systems Design Methodology
- Design for Low Power Systems
- Network-on-Chip for Multi- and Many-Core Systems
- Parallelizing Compiler for High Performance Computing
- Dual-Execution Processor Architecture for Embedded Computing
- Low Power Embedded Core Architecture
- ReconfigurableMulticore Architectures