Nicola Bombieri
TitoloCitata daAnno
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
562008
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
502010
Automatic abstraction of RTL IPs into equivalent TLM descriptions
N Bombieri, F Fummi, G Pravadelli
IEEE Transactions on Computers 60 (12), 1730-1743, 2010
502010
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
502006
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
362009
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
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
332007
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
302008
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
292014
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
282015
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
272013
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
272010
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
252005
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
232014
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
232007
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
202006
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
152012
Correct-by-construction generation of device drivers based on RTL testbenches
N Bombieri, F Fummi, G Pravadelli, S Vinco
Proceedings of the Conference on Design, Automation and Test in Europe, 1500 …, 2009
142009
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20