Assertion Coverage is a verification metric that, within the genus of software coverage criteria, specifically quantifies the extent to which embedded assertions in a design are exercised during testing, thereby distinguishing itself by focusing on the activation and evaluation of logical assertions rather than structural or functional code elements.
25
Publications
710
Citations
68
Authors
26
Institutions
Publications per year
2017–2026
7
Parents
Publications
25
1–5 of 25
Authors
68
- GP
6
h-index
- SV
3
h-index
- NB
3
h-index
- AB
2
h-index
- PD
2
h-index
1–5 of 68
Institutions
26
University of Verona
Verona, Italy
6 h-index
16 publications
496 citations
University of Illinois Urbana-Champaign
Urbana, United States
3 h-index
11 publications
198 citations
Indian Institute of Technology Kharagpur
Kharagpur, India
2 h-index
9 publications
170 citations
University of British Columbia
Vancouver, Canada
2 h-index
4 publications
294 citations
Intel (United States)
Santa Clara, United States
2 h-index
2 publications
41 citations
Peking University
Beijing, China
1 h-index
6 publications
216 citations
Israel Electric (Israel)
Haifa, Israel
1 h-index
1 publications
22 citations
University of Southern California
Los Angeles, United States
1 h-index
6 publications
216 citations
1–8 of 26
Venues
- IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
3 publications · 66 citations
3
h-index
- Proceedings - ACM IEEE Design Automation Conference
2 publications · 56 citations
2
h-index
- 2021 International Conference on Advances in Electrical, Computing, Communication and Sustainable Technologies (ICAECT)
Conference · 1 publications · 20 citations
1
h-index
- International Journal on Software Tools for Technology Transfer
1 publications · 41 citations
1
h-index
- IEEE Design & Test of Computers
1 publications · 26 citations
1
h-index
1–5