Coverage-Driven Verification of HDL IP Cores - Case Study of a Router for Network-on-Chip Communication in Embedded Systems

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

Abstract is missing.