Sergio Saponara, Francesco Vitullo, Esa Petri, Luca Fanucci, Marcello Coppola, Riccardo Locatelli. Coverage-Driven Verification of HDL IP Cores - Case Study of a Router for Network-on-Chip Communication in Embedded Systems. In Massimo Conti, Simone Orcioni, Natividad MartÃnez Madrid, Ralf E. D. Seepold, editors, Solutions on Embedded Systems. Volume 81 of Lecture Notes in Electrical Engineering, pages 105-119, Springer, 2011. [doi]
Abstract is missing.