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
PRO3D, Programming for Future 3D Manycore Architectures: Project’s Interim StatusFormal Methods for Components and Objects / Christian Fabre;Iuliana Bacivarov;Ananda Basu;Martino Ruggiero;David Atienza;Éric Flamand;Jean-Pierre Krimm;Julien Mottin;Lars Schor;Pratyush Kumar;Hoeseok Yang;Devesh B. Chokshi;Lothar Thiele;Saddek Bensalem;Marius Bozga;Luca Benini;Mohamed M. Sabry;Yusuf Leblebici;Giovanni Micheli;Diego Melpignano. - STAMPA. - (2013), pp. 277-293. [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 platformI documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
