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]

@incollection{SaponaraVPFCL11,
  title = {Coverage-Driven Verification of HDL IP Cores - Case Study of a Router for Network-on-Chip Communication in Embedded Systems},
  author = {Sergio Saponara and Francesco Vitullo and Esa Petri and Luca Fanucci and Marcello Coppola and Riccardo Locatelli},
  year = {2011},
  doi = {10.1007/978-94-007-0638-5_8},
  url = {https://doi.org/10.1007/978-94-007-0638-5_8},
  researchr = {https://researchr.org/publication/SaponaraVPFCL11},
  cites = {0},
  citedby = {0},
  pages = {105-119},
  booktitle = {Solutions on Embedded Systems},
  editor = {Massimo Conti and Simone Orcioni and Natividad Martínez Madrid and Ralf E. D. Seepold},
  volume = {81},
  series = {Lecture Notes in Electrical Engineering},
  publisher = {Springer},
  isbn = {978-94-007-0637-8},
}