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

Christian Fabre, Iuliana Bacivarov, Ananda Basu, Martino Ruggiero, David Atienza, Éric Flamand, et al. (2013). PRO3D, Programming for Future 3D Manycore Architectures: Project’s Interim StatusFormal Methods for Components and Objects. Heidelberg : SPRINGER Berlin Heidelberg [10.1007/978-3-642-35887-6_15].

PRO3D, Programming for Future 3D Manycore Architectures: Project’s Interim StatusFormal Methods for Components and Objects

RUGGIERO, MARTINO;BENINI, LUCA;
2013

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
2013
Lecture Notes in Computer ScienceFormal Methods for Components and Objects
277
293
Christian Fabre, Iuliana Bacivarov, Ananda Basu, Martino Ruggiero, David Atienza, Éric Flamand, et al. (2013). PRO3D, Programming for Future 3D Manycore Architectures: Project’s Interim StatusFormal Methods for Components and Objects. Heidelberg : SPRINGER Berlin Heidelberg [10.1007/978-3-642-35887-6_15].
Christian Fabre;Iuliana Bacivarov;Ananda Basu;Martino Ruggiero;David Atienza;Éric Flamand;Jean-Pierre Krimm;Julien Mottin;Lars Schor;Pratyush Kumar;Ho...espandi
File in questo prodotto:
Eventuali allegati, non sono esposti

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11585/306523
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? ND
social impact