@inproceedings{94c84fa41419411faeb6a7278f8311ae,
title = "A figure of merit for assertions in verification",
abstract = "Assertion quality is critical to the confidence and claims in a design's verification. In current practice, there is no metric to evaluate assertions. We introduce a methodology to rank register transfer level (RTL) assertions. We define assertion importance and assertion complexity and present efficient algorithms to compute them. Our method ranks each assertion according to its importance and complexity. We demonstrate the effectiveness of our ranking for pre-silicon verification on a detailed case study. For completeness, we study the relevance of our highly ranked assertions in a post-silicon validation context, using traced and restored signal values from the design's netlist.",
keywords = "Assertion Ranking, Dependency Graph, PageRank",
author = "Samuel Hertz and Debjit Pal and Spencer Offenberger and Shobha Vasudevan",
note = "Publisher Copyright: {\textcopyright} 2019 Association for Computing Machinery.; 24th Asia and South Pacific Design Automation Conference, ASPDAC 2019 ; Conference date: 21-01-2019 Through 24-01-2019",
year = "2019",
month = jan,
day = "21",
doi = "10.1145/3287624.3287660",
language = "English (US)",
series = "Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "675--680",
booktitle = "ASP-DAC 2019 - 24th Asia and South Pacific Design Automation Conference",
address = "United States",
}