L
Luca Piccolboni
Researcher at Columbia University
Publications - 22
Citations - 288
Luca Piccolboni is an academic researcher from Columbia University. The author has contributed to research in topics: Hardware acceleration & Agile software development. The author has an hindex of 8, co-authored 20 publications receiving 146 citations. Previous affiliations of Luca Piccolboni include University of Verona.
Papers
More filters
Journal ArticleDOI
COSMOS: Coordination of High-Level Synthesis and Memory Optimization for Hardware Accelerators
TL;DR: COSMOS as mentioned in this paper is an automatic methodology for the design-space exploration (DSE) of complex accelerators, that coordinates both HLS and memory optimization tools in a compositional way.
Proceedings ArticleDOI
Agile SoC Development with Open ESP
Paolo Mantovani,Davide Giri,Giuseppe Di Guglielmo,Luca Piccolboni,Joseph Zuckerman,Emilio G. Cota,Michele Petracca,Christian Pilato,Luca P. Carloni +8 more
TL;DR: Conceived as a heterogeneous integration platform and tested through years of teaching at Columbia University, ESP supports the open-source hardware community by providing a flexible platform for agile SoC development.
Journal ArticleDOI
COSMOS: Coordination of High-Level Synthesis and Memory Optimization for Hardware Accelerators
TL;DR: COSMOS is presented, an automatic methodology for the design-space exploration (DSE) of complex accelerators that coordinates both HLS and memory optimization tools in a compositional way and leverages compositional design techniques to quickly converge to the desired trade-off point between cost and performance at the system level.
Proceedings ArticleDOI
Agile SoC development with open ESP
Paolo Mantovani,Davide Giri,Giuseppe Di Guglielmo,Luca Piccolboni,Joseph Zuckerman,Emilio G. Cota,Michele Petracca,Christian Pilato,Luca P. Carloni +8 more
TL;DR: ESP as discussed by the authors is an open-source research platform for heterogeneous SoC design, which combines a modular tile-based architecture with a variety of application-oriented flows for the design and optimization of accelerators.
Journal ArticleDOI
Efficient Control-Flow Subgraph Matching for Detecting Hardware Trojans in RTL Models
TL;DR: A verification approach that detects different types of HTs in RTL models by exploiting an efficient control-flow subgraph matching algorithm and is effective and efficient in comparison with other state-of-the-art solutions.