Assertion Ranking Using RTL Source Code Analysis
Sign Up to like & getrecommendations! Published in 2020 at "IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"
DOI: 10.1109/tcad.2019.2921374
Abstract: We present a systematic and efficient ranking method to quantify the goodness of an assertion. We model dependencies among design variables as a directed graph called a variable dependency graph. We define assertion importance and… read more here.
Keywords: based ranking; assertion ranking; coverage based; assertion ... See more keywords