Nicola Bombieri
TitleCited byYear
A mutation model for the SystemC TLM 2.0 communication interfaces
N Bombieri, F Fummi, G Pravadelli
Proceedings of the conference on Design, automation and test in Europe, 396-401, 2008
572008
HIFSuite: tools for HDL code conversion and manipulation
N Bombieri, G Di Guglielmo, M Ferrari, F Fummi, G Pravadelli, F Stefanni, ...
EURASIP Journal on Embedded Systems 2010 (1), 436328, 2010
542010
On the evaluation of transactor-based verification for reusing TLM assertions and testbenches at RTL
N Bombieri, F Fummi, G Pravadelli
Proceedings of the Design Automation & Test in Europe Conference 1, 1-6, 2006
542006
Automatic abstraction of RTL IPs into equivalent TLM descriptions
N Bombieri, F Fummi, G Pravadelli
IEEE Transactions on Computers 60 (12), 1730-1743, 2010
522010
Functional qualification of TLM verification
N Bombieri, F Fummi, G Pravadelli, M Hampton, F Letombe
2009 Design, Automation & Test in Europe Conference & Exhibition, 190-195, 2009
372009
An efficient implementation of the Bellman-Ford algorithm for Kepler GPU architectures
F Busato, N Bombieri
IEEE Transactions on Parallel and Distributed Systems 27 (8), 2222-2233, 2015
362015
Towards equivalence checking between TLM and RTL models
N Bombieri, F Fummi, G Pravadelli, J Marques-Silva
Proceedings of the 5th IEEE/ACM International Conference on Formal Methods …, 2007
362007
The EU’s institutions
E Bomberg, L Cram, D Martin
The European Union: how does it work, 43-68, 2003
342003
Grapes: A software for parallel searching on biological graphs targeting multi-core architectures
R Giugno, V Bonnici, N Bombieri, A Pulvirenti, A Ferro, D Shasha
PloS one 8 (10), e76911, 2013
322013
Incremental ABV for functional validation of TL-to-RTL design refinement
N Bombieri, F Fummi, G Pravadelli
2007 Design, Automation & Test in Europe Conference & Exhibition, 1-6, 2007
322007
BFS-4K: an Efficient Implementation of BFS for Kepler GPU Architectures
NB Federico Busato
IEEE Transactions on Parallel and Distributed Systems 26 (7), 1826 - 1838, 2014
312014
Integrating RTL IPs into TLM designs through automatic transactor generation
N Bombieri, N Deganello, F Fummi
Proceedings of the conference on Design, automation and test in Europe, 15-20, 2008
292008
System/network design-space exploration based on TLM for networked embedded systems
N Bombieri, F Fummi, D Quaglia
ACM Transactions on Embedded Computing Systems (TECS) 9 (4), 37, 2010
262010
Comprehensive reconstruction and visualization of non-coding regulatory networks in human
V Bonnici, F Russo, N Bombieri, A Pulvirenti, R Giugno
Frontiers in bioengineering and biotechnology 2, 69, 2014
252014
On PSL properties re-use in SoC design flow based on Transaction Level Modeling
N Bombieri, A Fedeli, F Fummi
2005 Sixth International Workshop on Microprocessor Test and Verification …, 2005
242005
Hybrid, incremental assertion-based verification for TLM design flows
N Bombieri, F Fummi, G Pravadelli, A Fedeli
IEEE Design & Test of Computers 24 (2), 140-152, 2007
222007
A methodology for abstracting RTL designs into TL descriptions
N Bombieri, F Fummi, G Pravadelli
Fourth ACM and IEEE International Conference on Formal Methods and Models …, 2006
212006
Hornet: An efficient data structure for dynamic sparse graphs and matrices on gpus
F Busato, O Green, N Bombieri, DA Bader
2018 IEEE High Performance extreme Computing Conference (HPEC), 1-7, 2018
182018
From RTL IP to functional system-level models with extra-functional properties
D Lorenz, K Grüttner, N Bombieri, V Guarnieri, S Bocchio
Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware …, 2012
162012
SystemC simulation on GP-GPUs: CUDA vs. OpenCL
N Bombieri, S Vinco, V Bertacco, D Chatterjee
Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware …, 2012
162012
The system can't perform the operation now. Try again later.
Articles 1–20