2008 |
14 | EE | Nicola Bombieri,
Nicola Deganello,
Franco Fummi:
Integrating RTL IPs into TLM Designs Through Automatic Transactor Generation.
DATE 2008: 15-20 |
13 | EE | Nicola Bombieri,
Franco Fummi,
Graziano Pravadelli:
A Mutation Model for the SystemC TLM 2.0 Communication Interfaces.
DATE 2008: 396-401 |
12 | EE | 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 | EE | Nicola Bombieri,
Franco Fummi,
Graziano Pravadelli:
Incremental ABV for functional validation of TL-to-RTL design refinement.
DATE 2007: 882-887 |
10 | EE | Nicola Bombieri,
Franco Fummi,
Graziano Pravadelli,
João Marques-Silva:
Towards Equivalence Checking Between TLM and RTL Models.
MEMOCODE 2007: 113-122 |
9 | EE | 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 | EE | Nicola Bombieri,
Franco Fummi,
Davide Quaglia:
TLM/network design space exploration for networked embedded systems.
CODES+ISSS 2006: 58-63 |
7 | EE | 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 | EE | Nicola Bombieri,
Franco Fummi,
Graziano Pravadelli:
A methodology for abstracting RTL designs into TL descriptions.
MEMOCODE 2006: 103-112 |
5 | EE | Nicola Bombieri,
Franco Fummi,
Graziano Pravadelli:
Hardware Design and Simulation for Verification.
SFM 2006: 1-29 |
2005 |
4 | EE | Nicola Bombieri,
Franco Fummi,
Graziano Pravadelli:
Functional Verification of Networked Embedded Systems.
ISQED 2005: 321-326 |
3 | EE | 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 | EE | 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 | EE | Nicola Bombieri,
Franco Fummi,
Graziano Pravadelli:
At-Speed Functional Verification of Programmable Devices.
DFT 2004: 386-394 |