Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 145
Titolo Data di pubblicazione Autore(i) File
At-Speed Functional Verification of Programmable Devices 1-gen-2004 Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano
Functional Verification of Networked Embedded Systems 1-gen-2005 Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano
On the Property-based Verification in SoC Design Flow Founded on Transaction Level Modeling 1-gen-2005 Bombieri, Nicola; A., Fedeli; Fummi, Franco
Hardware Design and Simulation for Verification 1-gen-2006 Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano
On the Evaluation of Transactor-based Verification for Reusing TLM Assertions and Testbenches at RTL 1-gen-2006 Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano
Incremental ABV for TL-to-RTL Design Refinement 1-gen-2006 Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano
On the Automatic Transactor Generation in TLM-based Design Flows 1-gen-2006 Bombieri, Nicola; Fummi, Franco
TLM/Network Design Space Exploration for Networked Embedded Systems 1-gen-2006 Bombieri, Nicola; Fummi, Franco; Quaglia, Davide
On PSL Properties Re-use in SoC Design Flow Based on Transaction Level Modeling 1-gen-2006 Bombieri, Nicola; A., Fedeli; Fummi, Franco
A TLM Design for Verification Methodology 1-gen-2006 Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano
A Methodology for Abstracting RTL Designs into TL Descriptions 1-gen-2006 Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano
Automatic Transactor Generation in TLM by Exploiting EFSMs 1-gen-2007 Bombieri, Nicola; Fummi, Franco
Incremental ABV for Functional Validation of TL-to-RTL Design Refinement 1-gen-2007 Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano
Towards Equivalence Checking Between TLM and RTL Models 1-gen-2007 Bombieri, Nicola; Fummi, Franco; J. P., Marques Silva; Pravadelli, Graziano
Hybrid Incremental Assertion-Based Verification for Functional Validation in TLM Design Flows 1-gen-2007 Bombieri, Nicola; A., Fedeli; Fummi, Franco; Pravadelli, Graziano
RTL-TLM Equivalence Checking Based on Simulation 1-gen-2008 Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano
Reuse and Optimization of Testbenches and Properties in a TLM-to-RTL Design Flow 1-gen-2008 Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano
A Mutation Model for the SystemC TLM 2.0 Communication Interfaces 1-gen-2008 Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano
Integrating RTL IPs into TLM Designs Through Automatic Transactor Generation 1-gen-2008 Bombieri, Nicola; Deganello, Nicola Giuseppe; Fummi, Franco
Automatic Customization of Device Drivers for IP-cores Used with Assorted CPU Organizations 1-gen-2009 A., Acquaviva; Bombieri, Nicola; Fummi, Franco; Vinco, Sara
Mostrati risultati da 1 a 20 di 145
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