CATALOGO DEI PRODOTTI DELLA RICERCA

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 145
Titolo Data di pubblicazione Autore(i) File
Functional qualification of TLM verification 1-gen-2009 Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano; M., Hampton; F., Letombe
On the Mutation Analysis of SystemC TLM-2.0 Standard 1-gen-2009 Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano
Correct-by-construction generation of device drivers based on RTL testbenches 1-gen-2009 Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano; Vinco, Sara
Model Checking on TLM-2.0 IPs through automatic TLM-to-RTL synthesis 1-gen-2010 Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio
System/Network Design Space Exploration based on TLM for Networked Embedded Systems 1-gen-2010 Bombieri, Nicola; Fummi, Franco; Quaglia, Davide
Automatic Synthesis of OSCI TLM-2.0 Models into RTL Bus-based IPs 1-gen-2010 Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio
HIFSuite: Tools for HDL Code Conversion and Manipulation 1-gen-2010 Bombieri, Nicola; DI GUGLIELMO, Giuseppe; DI GUGLIELMO, Luigi; M., Ferrari; Fummi, Franco; Pravadelli, Graziano; Stefanni, Francesco; A., Venturelli
HIFSuite: Tools for HDL Code Conversion and Manipulation 1-gen-2010 Bombieri, N.; Ferrari, M.; Fummi, F.; Di Guglielmo, G.; Di Guglielmo, L.; Pravadelli, G.; Stefanni, F.; Venturelli, A.
Abstraction of RTL IPs into Embedded Software 1-gen-2010 Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano
Accelerating RTL Fault Simulation through RTL-to-TLM Abstraction 1-gen-2011 Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio
Mutation Analysis for SystemC Designs at TLM 1-gen-2011 Guarnieri, Valerio; Bombieri, Nicola; Pravadelli, Graziano; Fummi, Franco; H., Hantson; J., Raik; M., Jenihhin; R., Ubar
Efficient Implementation and Abstraction of SystemC Data Types for Fast Simulation 1-gen-2011 Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio; Stefanni, Francesco; Vinco, Sara
Automatic interface generation for component reuse in HW-SW partitioning 1-gen-2011 Bombieri, Nicola; Fummi, Franco; Quaglia, Davide; Vinco, Sara
Automatic Abstraction of RTL IPs into Equivalent TLM Descriptions 1-gen-2011 Bombieri, Nicola; Fummi, Franco; Pravadelli, Graziano
Enabling tools for virtual platforms 1-gen-2012 Quaglia, Davide; Fummi, Franco; Stefanni, Francesco; Bombieri, Nicola
From RTL IP to functional system-level models with extra-functional properties 1-gen-2012 D., Lorenz; K., Grüttner; Bombieri, Nicola; Guarnieri, Valerio; S., Bocchio
On the automatic synthesis of parallel SW from RTL models of hardware IPs 1-gen-2012 A., Acquaviva; Bombieri, Nicola; Fummi, Franco; Vinco, Sara
HDTLib: an efficient implementation of SystemC data types for fast simulation at different abstraction levels 1-gen-2012 Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio; Stefanni, Francesco; Vinco, Sara
FAST: An RTL Fault Simulation Framework based on RTL-to-TLM Abstraction 1-gen-2012 Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio
Redesign and Verification of RTL IPs through RTL-to-TLM Abstraction and TLM Synthesis 1-gen-2012 Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio; Pravadelli, Graziano; Vinco, Sara
Mostrati risultati da 21 a 40 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