Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci. Anytime system level verification via parallel random exhaustive hardware in the loop simulation. Microprocessors and Microsystems, 41:12-28, 2016. [doi]
Abstract is missing.