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]
Abstract is missing.