Salta al contenuto principale
Ricerc@Sapienza
Toggle navigation
Home
Login
Home
Pubblicazioni
"Hardware and Architecture"
"Model checking driven simulation"
Pubblicazioni
Pubblicazioni
Anytime system level verification via parallel random exhaustive hardware in the loop simulation
2016 - MICROPROCESSORS AND MICROSYSTEMS
Mancini, Toni
; Mari, Federico;
Massini, Annalisa
;
Melatti, Igor
;
Tronci, Enrico
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma