Nicola Bombieri

	2012
31		Andrea Acquaviva, Nicola Bombieri, Franco Fummi, Sara Vinco: On the automatic synthesis of parallel SW from RTL models of hardware IPs. ACM Great Lakes Symposium on VLSI 2012: 71-74
30		Nicola Bombieri, Franco Fummi, Valerio Guarnieri: FAST-GP: An RTL functional verification framework based on fault simulation on GP-GPUs. DATE 2012: 562-565
	2011
29		Nicola Bombieri, Franco Fummi, Sara Vinco, Davide Quaglia: Automatic Interface Generation for Component Reuse in HW-SW Partitioning. DSD 2011: 793-796
28		Nicola Bombieri, Franco Fummi, Valerio Guarnieri: Accelerating RTL Fault Simulation through RTL-to-TLM Abstraction. European Test Symposium 2011: 117-122
27		Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Francesco Stefanni, Sara Vinco: Efficient implementation and abstraction of systemc data types for fast simulation. FDL 2011: 1-7
26		Nicola Bombieri, Franco Fummi, Graziano Pravadelli: Automatic Abstraction of RTL IPs into Equivalent TLM Descriptions. IEEE Trans. Computers 60(12): 1730-1743 (2011)
	2010
25		Nicola Bombieri, Franco Fummi, Graziano Pravadelli: Abstraction of RTL IPs into embedded software. DAC 2010: 24-29
24		Nicola Bombieri, Franco Fummi, Valerio Guarnieri: Automatic synthesis of OSCI TLM-2.0 models into RTL bus-based IPs. HLDVT 2010: 105-112
23		Nicola Bombieri, Giuseppe Di Guglielmo, Luigi Di Guglielmo, Michele Ferrari, Franco Fummi, Graziano Pravadelli, Francesco Stefanni, Alessandro Venturelli: HIFSuite: Tools for HDL code conversion and manipulation. HLDVT 2010: 40-41
22		Nicola Bombieri, Franco Fummi, Valerio Guarnieri: Model checking on TLM-2.0 IPs through automatic TLM-to-RTL synthesis. VLSI-SoC 2010: 61-66
21		Nicola Bombieri, Franco Fummi, Davide Quaglia: System/network design-space exploration based on TLM for networked embedded systems. ACM Trans. Embedded Comput. Syst. 9(4): (2010)
20		Nicola Bombieri, Giuseppe Di Guglielmo, Michele Ferrari, Franco Fummi, Graziano Pravadelli, Francesco Stefanni, Alessandro Venturelli: HIFSuite: Tools for HDL Code Conversion and Manipulation. EURASIP J. Emb. Sys. 2010: (2010)
	2009
19		Andrea Acquaviva, Nicola Bombieri, Franco Fummi, Sara Vinco: Automatic customization of device drivers for IP-cores used with assorted CPU organizations. CODES+ISSS 2009: 173-182
18		Nicola Bombieri, Franco Fummi, Graziano Pravadelli, Sara Vinco: Correct-by-construction generation of device drivers based on RTL testbenches. DATE 2009: 1500-1505
17		Nicola Bombieri, Franco Fummi, Graziano Pravadelli, Mark Hampton, Florian Letombe: Functional qualification of TLM verification. DATE 2009: 190-195
16		Nicola Bombieri, Franco Fummi, Graziano Pravadelli: On the Mutation Analysis of SystemC TLM-2.0 Standard. MTV 2009: 32-37
	2008
15		Nicola Bombieri, Nicola Deganello, Franco Fummi: Integrating RTL IPs into TLM Designs Through Automatic Transactor Generation. DATE 2008: 15-20
14		Nicola Bombieri, Franco Fummi, Graziano Pravadelli: A Mutation Model for the SystemC TLM 2.0 Communication Interfaces. DATE 2008: 396-401
13		Nicola Bombieri, Franco Fummi, Graziano Pravadelli: RTL-TLM equivalence checking based on simulation. EWDTS 2008: 214-217
12		Nicola Bombieri, Franco Fummi, Graziano Pravadelli: Reuse and optimization of testbenches and properties in a TLM-to-RTL design flow. ACM Trans. Design Autom. Electr. Syst. 13(3): (2008)
	2007
11		Nicola Bombieri, Franco Fummi, Graziano Pravadelli: Incremental ABV for functional validation of TL-to-RTL design refinement. DATE 2007: 882-887
10		Nicola Bombieri, Franco Fummi, Graziano Pravadelli, João Marques-Silva: Towards Equivalence Checking Between TLM and RTL Models. MEMOCODE 2007: 113-122
9		Nicola Bombieri, Franco Fummi, Graziano Pravadelli, Andrea Fedeli: Hybrid, Incremental Assertion-Based Verification for TLM Design Flows. IEEE Design & Test of Computers 24(2): 140-152 (2007)
	2006
8		Nicola Bombieri, Franco Fummi, Davide Quaglia: TLM/network design space exploration for networked embedded systems. CODES+ISSS 2006: 58-63
7		Nicola Bombieri, Franco Fummi, Graziano Pravadelli: On the evaluation of transactor-based verification for reusing TLM assertions and testbenches at RTL. DATE 2006: 1007-1012
6		Nicola Bombieri, Franco Fummi, Graziano Pravadelli: A methodology for abstracting RTL designs into TL descriptions. MEMOCODE 2006: 103-112
5		Nicola Bombieri, Franco Fummi, Graziano Pravadelli: Hardware Design and Simulation for Verification. SFM 2006: 1-29
	2005
4		Nicola Bombieri, Franco Fummi, Graziano Pravadelli: Functional Verification of Networked Embedded Systems. ISQED 2005: 321-326
3		Nicola Bombieri, Andrea Fedeli, Franco Fummi: Extended abstract: on the property-based verification in SoC design flow founded on transaction level modeling. MEMOCODE 2005: 239-240
2		Nicola Bombieri, Andrea Fedeli, Franco Fummi: On PSL Properties Re-use in SoC Design Flow Based on Transaction Level Modeling. MTV 2005: 127-132
	2004
1		Nicola Bombieri, Franco Fummi, Graziano Pravadelli: At-Speed Functional Verification of Programmable Devices. DFT 2004: 386-394

Coauthor Index

1	Andrea Acquaviva	[19] [31]
2	Nicola Deganello	[15]
3	Andrea Fedeli	[2] [3] [9]
4	Michele Ferrari	[20] [23]
5	Franco Fummi	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31]
6	Valerio Guarnieri	[22] [24] [27] [28] [30]
7	Giuseppe Di Guglielmo	[20] [23]
8	Luigi Di Guglielmo	[23]
9	Mark Hampton	[17]
10	Florian Letombe	[17]
11	Graziano Pravadelli	[1] [4] [5] [6] [7] [9] [10] [11] [12] [13] [14] [16] [17] [18] [20] [23] [25] [26]
12	Davide Quaglia	[8] [21] [29]
13	João P. Marques Silva (João Marques-Silva)	[10]
14	Francesco Stefanni	[20] [23] [27]
15	Alessandro Venturelli	[20] [23]
16	Sara Vinco	[18] [19] [27] [29] [31]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page