LAUSR

Assertion Ranking Using RTL Source Code Analysis

Sign Up to like & get
recommendations!
1 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