|
Authors: | C. Fabre, I. Bacivarov, A. Basu, M. Ruggiero, D. Atienza, E. Flamand, JP. Krimm, J. Mottin, L. Schor, P. Kumar, H. Yang, D. Chokshi, L. Thiele, S. Bensalem, M. Bozga, L. Benini, M. Sabry, Y. Leblebici, G. De Micheli, D. Melpignano |
Group: | Computer Engineering |
Type: | Incollection |
Title: | PRO3D, Programming for Future 3D Manycore Architectures: Project Interim Status |
Year: | 2013 |
Month: | January |
Pub-Key: | bskyct2012a |
Book Titel: | Formal Methods for Components and Objects (FMCO) - Lecture Notes on Computer Science (LNCS) |
Volume: | 7542 |
Pages: | 277-293 |
Keywords: | ESD, MPSOC, MPA, real-time systems, compositional analysis, thermal analysis, multi-core systems, PRO3D |
Publisher: | Springer |
Abstract: | PRO3D tackles two important 3D technologies, that are Through Silicon Via (TSV) and liquid cooling, and investigates their consequences on stacked architectures and entire software development. In particular, memory hierarchies are being revisited and the thermal impact of software on the 3D stack is explored. As a key result, a software design flow based on the rigorous assembly of software components and monitoring of the thermal integrity of the 3D stack has been developed. After 30 months of research, PRO3D proposes a complete tool-chain for 3D manycore, that integrates state-of-the-art tools ranging from system-level formal specification and 3D exploration, to actual programming and runtime control on the 3D system. Current efforts are directed towards extensive experiments on an industrial embedded manycore platform. |
Location: | Berlin Heidelberg |
Resources: | [BibTeX] [Paper as PDF] |