August 2014: The paper “Anytime System Level Verification via Random Exhaustive Hardware In The Loop Simulation” of Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, and Enrico Tronci has been presented at the Proceedings of 17th EuroMicro Conference on Digital System Design (DSD 2014).
Full paper details are available here.