TY - GEN
T1 - Can't see the forest for the trees
T2 - 34th IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2015
AU - Ma, Sai
AU - Pal, Debjit
AU - Jiang, Rui
AU - Ray, Sandip
AU - Vasudevan, Shobha
PY - 2016/1/5
Y1 - 2016/1/5
N2 - State Restoration Ratio (SRR) has been the de facto standard for evaluating quality of signals selected for post-silicon tracing and debug. Given a set S of selected signals, SRR measures the fraction of (gate-level) design states that can be inferred from observing signals in S at each cycle. Unfortunately, in spite of its widespread use, we found that SRR is intrinsically unsuitable as a metric for evaluating trace signal quality, as it captures neither the higher-level functionality of the design nor the constraints and requirements on trace signals imposed by architectural, physical, or security requirements. In this paper, we argue with strong empirical evidence that SRR must be replaced by a metric that closely models high-level behavioral coverage. We propose assertion coverage as a first step in this direction. We also present a new algorithm, based on Pagerank, for post-silicon trace selection. Pagerank is not designed to maximize SRR. We found that Pagerank has upto 70% higher behavioral coverage than SRR optimizing methods, and the RTL PageRank has upto 30% higher behavioral coverage than the netlist PageRank algorithm. Assertion coverage of PageRank RTL is upto 50% while SRR based methods have less than 5% assertion coverage.
AB - State Restoration Ratio (SRR) has been the de facto standard for evaluating quality of signals selected for post-silicon tracing and debug. Given a set S of selected signals, SRR measures the fraction of (gate-level) design states that can be inferred from observing signals in S at each cycle. Unfortunately, in spite of its widespread use, we found that SRR is intrinsically unsuitable as a metric for evaluating trace signal quality, as it captures neither the higher-level functionality of the design nor the constraints and requirements on trace signals imposed by architectural, physical, or security requirements. In this paper, we argue with strong empirical evidence that SRR must be replaced by a metric that closely models high-level behavioral coverage. We propose assertion coverage as a first step in this direction. We also present a new algorithm, based on Pagerank, for post-silicon trace selection. Pagerank is not designed to maximize SRR. We found that Pagerank has upto 70% higher behavioral coverage than SRR optimizing methods, and the RTL PageRank has upto 30% higher behavioral coverage than the netlist PageRank algorithm. Assertion coverage of PageRank RTL is upto 50% while SRR based methods have less than 5% assertion coverage.
UR - http://www.scopus.com/inward/record.url?scp=84964426790&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84964426790&partnerID=8YFLogxK
U2 - 10.1109/ICCAD.2015.7372542
DO - 10.1109/ICCAD.2015.7372542
M3 - Conference contribution
AN - SCOPUS:84964426790
T3 - 2015 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2015
SP - 1
EP - 8
BT - 2015 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2015
PB - Institute of Electrical and Electronics Engineers Inc.
Y2 - 2 November 2015 through 6 November 2015
ER -