CATALOGO DEI PRODOTTI DELLA RICERCA

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 36 di 36
Titolo Data di pubblicazione Autore(i) File
SMAC: Smart Systems Co-Design 1-gen-2013 Bombieri, Nicola; D., Drogoudis; G., Gangemi; R., Gillon; E., Macii; M., Poncino; S., Rinaudo; Stefanni, Francesco; D., Trachanis; M., van Helvoort
UNIVERCM: The UNIversal VERsatile Computational Model for Heterogeneous System Integration 1-gen-2013 DI GUGLIELMO, Luigi; Fummi, Franco; Pravadelli, Graziano; Stefanni, Francesco; Vinco, Sara
Automatic HDL Conversion and Abstraction Methodologies 1-gen-2013 Fummi, Franco; Guarnieri, Valerio; Pravadelli, Graziano; Stefanni, Francesco; Vendraminetto, Walter
Moving from co-simulation to simulation for effective smart systems design 1-gen-2014 Fummi, Franco; Lora, Michele; Stefanni, Francesco; Dimitrios, Trachanis; Jahn, Vanhese; Sara, Vinco
Code Generation Alternatives to Reduce Heterogeneous Embedded Systems to Homogeneity 1-gen-2014 Fummi, Franco; Lora, Michele; Stefanni, Francesco; Sara, Vinco
Design and simulation of an integrated optical CMOS heart rate sensor 1-gen-2014 D., He; C., Liu; D., Trachanis; J. V., Hese; D., Drogoudis; Fummi, Franco; Stefanni, Francesco; Guarnieri, Valerio; S. P., Morgan; B. R., Hayes Gill
On the Reuse of RTL assertions in Systemc TLM Verification 1-gen-2014 Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio; Pravadelli, Graziano; Stefanni, Francesco; Ghasempouri, Tara; Lora, Michele; G., Auditore; M., Negro Marcigaglia
RTL property abstraction for TLM assertion-based verification 1-gen-2015 Bombieri, Nicola; Riccardo, Filippozzi; Pravadelli, Graziano; Stefanni, Francesco
A Single-Chip CMOS Pulse Oximeter with On-Chip Lock-In Detection 1-gen-2015 He, Diwei; Morgan, Stephen P; Trachanis, Dimitrios; van Hese, Jan; Drogoudis, Dimitris; Fummi, Franco; Stefanni, Francesco; Guarnieri, Valerio; Hayes Gill, Barrie R.
Reusing RTL assertion checkers for verification of SystemC TLM models 1-gen-2015 Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio; Pravadelli, Graziano; Stefanni, Francesco; Ghasempouri, Tara; Lora, Michele; Giovanni, Auditore; Mirella, Negromarcigaglia
Automatic generation of self-adaptive transactors from PSL assertions 1-gen-2016 Stefanni, Francesco; Demrozi, Florenc; Pravadelli, Graziano
Scalable open source smart grid simulator (SGSim) 1-gen-2017 Ebeid, Emad; Jacobsen, Rune Hylsberg; Stefanni, Francesco; Quaglia, Davide
Automatic Generation of Cycle-Accurate Simulink Blocks from HDL IPs 1-gen-2017 Centomo, Stefano; Lora, Michele; Portaluri, Antonio; Stefanni, Francesco; Fummi, Franco
A SystemC-based Simulator for Design Space Exploration of Smart Wireless Systems 1-gen-2018 Miorandi, Gabriele; Stefanni, Francesco; Federico, Fraccaroli; Quaglia, Davide
Automatic Integration of HDL IPs in Simulink Using FMI and S-Function Interfaces 1-gen-2018 Centomo, Stefano; Lora, Michele; Portaluri, Antonio; Stefanni, Francesco; Fummi, Franco
Network Synthesis for Distributed Embedded Systems 1-gen-2018 Fraccaroli, Enrico; Stefanni, Francesco; Rizzi, Romeo; Quaglia, Davide; Fummi, Franco
Mostrati risultati da 21 a 36 di 36
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