TY - GEN
T1 - Determining cases of scenarios to improve coverage in simulation-based verification
AU - Yang, Shuo
AU - Wille, Robert
AU - Drechsler, Rolf
PY - 2014/9/1
Y1 - 2014/9/1
N2 - Functional verification of complex designs is still dominated by simulation-based approaches. In particular, Coverage- driven Verification (CDV) is well acknowledged and applied in industry. Here, verification gaps in terms of inadequately checked scenarios are addressed and closed by generating and applying dedicated stimuli. In order to ensure a good coverage and, by this, a high verification quality, each scenario is supposed to become sufficiently triggered. However, the considered scenario may be triggered in several fashions and information about that is hardly available in the existing CDV approaches. In this work, we propose an approach which automatically derives this information. Examples and experimental evaluations illustrate how this improves coverage in simulation-based verification.
AB - Functional verification of complex designs is still dominated by simulation-based approaches. In particular, Coverage- driven Verification (CDV) is well acknowledged and applied in industry. Here, verification gaps in terms of inadequately checked scenarios are addressed and closed by generating and applying dedicated stimuli. In order to ensure a good coverage and, by this, a high verification quality, each scenario is supposed to become sufficiently triggered. However, the considered scenario may be triggered in several fashions and information about that is hardly available in the existing CDV approaches. In this work, we propose an approach which automatically derives this information. Examples and experimental evaluations illustrate how this improves coverage in simulation-based verification.
KW - Coverage
KW - Simulation-based verification
KW - Stimuli Generation
UR - http://www.scopus.com/inward/record.url?scp=84914105886&partnerID=8YFLogxK
U2 - 10.1145/2660540.2660979
DO - 10.1145/2660540.2660979
M3 - Conference contribution
AN - SCOPUS:84914105886
T3 - Proceedings, SBCCI 2014 - 27th Symposium on Integrated Circuits and Systems Design: Chip in Aracaju
BT - Proceedings, SBCCI 2014 - 27th Symposium on Integrated Circuits and Systems Design
PB - Association for Computing Machinery
T2 - 27th Symposium on Integrated Circuits and Systems Design, SBCCI 2014
Y2 - 1 September 2014 through 5 September 2014
ER -