A Cross-level Verification Methodology for Digital IPs Augmented with Embedded Timing Monitors

Sara Vinco, Nicola Bombieri, Daniele Jahier Pagliari, Franco Fummi, Enrico Macii, Massimo Poncino. A Cross-level Verification Methodology for Digital IPs Augmented with Embedded Timing Monitors. ACM Trans. Design Autom. Electr. Syst., 24(3), 2019. [doi]

@article{VincoBPFMP19,
  title = {A Cross-level Verification Methodology for Digital IPs Augmented with Embedded Timing Monitors},
  author = {Sara Vinco and Nicola Bombieri and Daniele Jahier Pagliari and Franco Fummi and Enrico Macii and Massimo Poncino},
  year = {2019},
  doi = {10.1145/3308565},
  url = {https://doi.org/10.1145/3308565},
  researchr = {https://researchr.org/publication/VincoBPFMP19},
  cites = {0},
  citedby = {0},
  journal = {ACM Trans. Design Autom. Electr. Syst.},
  volume = {24},
  number = {3},
}