DI GUGLIELMO, Giuseppe

DI GUGLIELMO, Giuseppe  

DIPARTIMENTO DI MEDICINA  

Mostra records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.02 secondi).
Titolo Data di pubblicazione Autore(i) File
Efficient Generation of Stimuli for Functional Verification by Backjumping Across Extended FSMs 1-gen-2011 DI GUGLIELMO, Giuseppe; DI GUGLIELMO, Luigi; Fummi, Franco; Pravadelli, Graziano
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.
Improving High-Level and Gate-Level Testing with FATE: a Functional ATPG Traversing Unstabilized EFSMs 1-gen-2007 DI GUGLIELMO, Giuseppe; Fummi, Franco; Marconcini, Cristina; Pravadelli, Graziano
On the Reuse of TLM Mutation Analysis at RTL 1-gen-2012 Guarnieri, Valerio; DI GUGLIELMO, Giuseppe; Bombieri, Nicola; Pravadelli, Graziano; Fummi, Franco; Hantson, H.; Raik, J.; Jenihhin, M.; Ubar, R.
Time-Constraint-Aware Optimization of Assertions in Embedded Software 1-gen-2012 Izosimov, V.; DI GUGLIELMO, Giuseppe; Lora, Michele; Pravadelli, Graziano; Fummi, Franco; Peng, Z.; Fujita, M.