Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci. Anytime System Level Verification via Random Exhaustive Hardware in the Loop Simulation. In 17th Euromicro Conference on Digital System Design, DSD 2014, Verona, Italy, August 27-29, 2014. pages 236-245, IEEE, 2014. [doi]
Abstract is missing.