%0 Journal Article %1 journals/todaes/VincoBPFMP19 %A Vinco, Sara %A Bombieri, Nicola %A Pagliari, Daniele Jahier %A Fummi, Franco %A Macii, Enrico %A Poncino, Massimo %D 2019 %J ACM Trans. Design Autom. Electr. Syst. %K dblp %N 3 %P 27:1-27:23 %T A Cross-level Verification Methodology for Digital IPs Augmented with Embedded Timing Monitors. %U http://dblp.uni-trier.de/db/journals/todaes/todaes24.html#VincoBPFMP19 %V 24

@article{journals/todaes/VincoBPFMP19, added-at = {2022-01-08T00:00:00.000+0100}, author = {Vinco, Sara and Bombieri, Nicola and Pagliari, Daniele Jahier and Fummi, Franco and Macii, Enrico and Poncino, Massimo}, biburl = {https://www.bibsonomy.org/bibtex/251e24d2e850f0663a1170a8793170462/dblp}, ee = {https://doi.org/10.1145/3308565}, interhash = {b9b2294875b870cf6c5bf2fd8d8af07c}, intrahash = {51e24d2e850f0663a1170a8793170462}, journal = {ACM Trans. Design Autom. Electr. Syst.}, keywords = {dblp}, number = 3, pages = {27:1-27:23}, timestamp = {2024-04-08T21:43:11.000+0200}, title = {A Cross-level Verification Methodology for Digital IPs Augmented with Embedded Timing Monitors.}, url = {http://dblp.uni-trier.de/db/journals/todaes/todaes24.html#VincoBPFMP19}, volume = 24, year = 2019 }