Sfoglia per Autore
At-Speed Functional Verification of Programmable Devices
2004-01-01 Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano
On the Property-based Verification in SoC Design Flow Founded on Transaction Level Modeling
2005-01-01 Bombieri, Nicola; A., Fedeli; Fummi, Franco
Functional Verification of Networked Embedded Systems
2005-01-01 Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano
TLM/Network Design Space Exploration for Networked Embedded Systems
2006-01-01 Bombieri, Nicola; Fummi, Franco; Quaglia, Davide
On PSL Properties Re-use in SoC Design Flow Based on Transaction Level Modeling
2006-01-01 Bombieri, Nicola; A., Fedeli; Fummi, Franco
A Methodology for Abstracting RTL Designs into TL Descriptions
2006-01-01 Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano
A TLM Design for Verification Methodology
2006-01-01 Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano
On the Automatic Transactor Generation in TLM-based Design Flows
2006-01-01 Bombieri, Nicola; Fummi, Franco
Incremental ABV for TL-to-RTL Design Refinement
2006-01-01 Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano
Hardware Design and Simulation for Verification
2006-01-01 Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano
On the Evaluation of Transactor-based Verification for Reusing TLM Assertions and Testbenches at RTL
2006-01-01 Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano
Automatic Transactor Generation in TLM by Exploiting EFSMs
2007-01-01 Bombieri, Nicola; Fummi, Franco
Incremental ABV for Functional Validation of TL-to-RTL Design Refinement
2007-01-01 Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano
Towards Equivalence Checking Between TLM and RTL Models
2007-01-01 Bombieri, Nicola; Fummi, Franco; J. P., Marques Silva; Pravadelli, Graziano
Hybrid Incremental Assertion-Based Verification for Functional Validation in TLM Design Flows
2007-01-01 Bombieri, Nicola; A., Fedeli; Fummi, Franco; Pravadelli, Graziano
RTL-TLM Equivalence Checking Based on Simulation
2008-01-01 Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano
Reuse and Optimization of Testbenches and Properties in a TLM-to-RTL Design Flow
2008-01-01 Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano
Integrating RTL IPs into TLM Designs Through Automatic Transactor Generation
2008-01-01 Bombieri, Nicola; Deganello, Nicola Giuseppe; Fummi, Franco
A Mutation Model for the SystemC TLM 2.0 Communication Interfaces
2008-01-01 Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano
Automatic Customization of Device Drivers for IP-cores Used with Assorted CPU Organizations
2009-01-01 A., Acquaviva; Bombieri, Nicola; Fummi, Franco; Vinco, Sara
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile