SV-Tests

Test suite to check compliance with the SystemVerilog LRM by chapter as well as some real-world cores and test-cases.

Advanced filters
Tool
Coverage
%
Type

Icarus moore moore_parse Odin Slang Surelog Sv2v_zachjs sv_parser tree_sitter_verilog UhdmVerilator UhdmYosys VanillaYosysUhdmPlugin Verible VeribleExtractor Verilator Yosys
Various sanity checks sanity 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1
Tests imported from UVM uvm 0/148 0/148 0/148 0/148 151/151 146/151 3/151 148/148 0/148 14/162 3/151 3/151 123/148 0/148 14/162 3/151
uvm_agent examples uvm-agents 0/3 0/3 0/3 0/3 3/3 3/3 0/3 3/3 0/3 0/3 0/3 0/3 3/3 0/3 0/3 0/3
UVM tests using assertions uvm-assertions 0/26 0/26 0/26 0/26 26/26 25/26 0/26 26/26 0/26 11/37 0/26 0/26 12/26 0/26 11/37 0/26
Particular UVM classes uvm-classes 0/36 0/36 0/36 0/36 36/36 36/36 0/36 36/36 0/36 0/36 0/36 0/36 28/36 0/36 0/36 0/36
uvm-random 0/77 0/77 0/77 0/77 80/80 76/80 3/80 77/77 0/77 3/80 3/80 3/80 74/77 0/77 3/80 3/80
UVM Prerequisites uvm-req 174/285 205/300 237/285 19/300 311/313 299/313 214/313 298/300 152/285 246/313 195/313 195/313 279/285 279/285 245/313 97/313
uvm_scoreboard examples uvm-scoreboards 0/3 0/3 0/3 0/3 3/3 3/3 0/3 3/3 0/3 0/3 0/3 0/3 3/3 0/3 0/3 0/3
White space 5.3 1/1 7/7 1/1 1/7 7/7 7/7 7/7 7/7 0/1 7/7 7/7 7/7 1/1 1/1 7/7 7/7
Comments 5.4 1/1 7/7 1/1 0/7 7/7 7/7 7/7 7/7 1/1 7/7 7/7 7/7 1/1 1/1 7/7 7/7
Identifiers, keywords, and system names 5.6 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2
Escaped identifiers 5.6.1 2/2 2/2 2/2 0/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2
Keywords 5.6.2 248/248 248/248 248/248 248/248 248/248 243/248 248/248 248/248 2/248 243/248 243/248 243/248 246/248 246/248 248/248 97/248
System tasks and system functions 5.6.3 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1
Compiler directives 5.6.4 64/66 76/90 60/66 1/90 90/90 90/90 90/90 90/90 63/66 90/90 90/90 90/90 63/66 62/66 90/90 85/90
Integer literal constants 5.7.1 64/64 63/64 62/64 3/64 64/64 64/64 64/64 64/64 64/64 64/64 64/64 64/64 64/64 64/64 64/64 64/64
Real literal constants 5.7.2 58/58 56/58 57/58 1/58 58/58 58/58 58/58 58/58 58/58 58/58 58/58 58/58 58/58 58/58 58/58 57/58
Time literals 5.8 1/1 1/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1
String literals 5.9 3/4 3/4 4/4 1/4 4/4 4/4 4/4 4/4 2/4 3/4 4/4 4/4 4/4 4/4 3/4 3/4
Special characters in strings 5.9.1 1/1 0/1 0/1 1/1 1/1 1/1 1/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1
Structure literals 5.10 0/3 3/3 3/3 0/3 4/4 4/4 2/4 3/3 3/3 2/4 4/4 4/4 3/3 3/3 2/4 1/4
Array literals 5.11 0/3 3/3 3/3 0/3 3/3 3/3 3/3 3/3 3/3 3/3 3/3 3/3 3/3 3/3 3/3 0/3
Attributes 5.12 5/5 5/5 5/5 0/5 5/5 5/5 3/5 5/5 5/5 5/5 5/5 5/5 5/5 5/5 5/5 5/5
Built-in methods 5.13 1/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 0/1 1/1 0/1 0/1 1/1 1/1 1/1 0/1
Nets and variables 6.5 1/1 1/1 1/1 0/1 2/4 1/4 1/4 1/1 1/1 1/4 1/4 1/4 1/1 1/1 1/4 1/4
Wire and tri nets 6.6.1 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 1/2 2/2 2/2 2/2 2/2 2/2 2/2
Unresolved nets 6.6.2 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1
Wired nets 6.6.3 4/4 4/4 4/4 4/4 4/4 4/4 4/4 4/4 4/4 0/4 4/4 4/4 4/4 4/4 0/4 4/4
Trireg net 6.6.4 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1 1/1 1/1 1/1 1/1 0/1 0/1
Tri0 and tri1 nets 6.6.5 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 0/2
Supply nets 6.6.6 2/2 2/2 2/2 0/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2
User-defined nettypes 6.6.7 0/2 0/2 0/2 0/2 2/2 2/2 0/2 2/2 2/2 1/2 1/2 1/2 2/2 2/2 0/2 0/2
Generic interconnect 6.6.8 0/1 0/1 0/1 0/1 1/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 0/1 0/1 0/1 0/1
Specifying vectors 6.9.1 1/1 1/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1
Vector net accessibility 6.9.2 3/3 3/3 3/3 1/3 3/3 3/3 1/3 3/3 3/3 3/3 3/3 3/3 1/3 1/3 3/3 1/3
Implicit declarations 6.10 3/3 1/3 3/3 3/3 3/3 3/3 3/3 3/3 3/3 3/3 3/3 3/3 3/3 3/3 3/3 3/3
Integer data types 6.11 27/27 27/27 27/27 4/27 27/27 27/27 27/27 27/27 27/27 27/27 27/27 27/27 27/27 27/27 27/27 24/27
Real, shortreal, and realtime data types 6.12 3/3 0/3 3/3 0/3 6/6 4/6 3/6 3/3 3/3 6/6 4/6 4/6 3/3 3/3 6/6 3/6
Void data type 6.13 1/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 0/1 1/1 0/1 0/1 1/1 1/1 1/1 0/1
Chandle data type 6.14 0/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 1/1 1/1 0/1 0/1 1/1 1/1 1/1 0/1
Class 6.15 18/41 31/41 37/41 0/41 41/41 40/41 21/41 41/41 36/41 30/41 36/41 36/41 41/41 41/41 20/41 0/41
String data type 6.16 1/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1
Len() 6.16.1 1/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1 0/1 1/1 1/1 1/1 0/1
Putc() 6.16.2 0/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 0/1 1/1 0/1 0/1 1/1 1/1 1/1 0/1
Getc() 6.16.3 0/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1
Toupper() 6.16.4 0/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1 0/1 1/1 1/1 1/1 0/1
Tolower() 6.16.5 0/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1 0/1 1/1 1/1 1/1 0/1
Compare() 6.16.6 0/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1 0/1 1/1 1/1 1/1 0/1
Icompare() 6.16.7 0/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1 0/1 1/1 1/1 1/1 0/1
Substr() 6.16.8 1/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1 0/1 1/1 1/1 1/1 0/1
Atoi(), atohex(), atooct(), atobin() 6.16.9 2/4 0/4 4/4 0/4 4/4 4/4 4/4 4/4 4/4 4/4 0/4 0/4 4/4 4/4 4/4 0/4
Atoreal() 6.16.10 1/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1 0/1 1/1 1/1 1/1 0/1
Itoa() 6.16.11 0/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 0/1 1/1 0/1 0/1 1/1 1/1 1/1 0/1
Hextoa() 6.16.12 0/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 0/1 1/1 0/1 0/1 1/1 1/1 1/1 0/1
Octtoa() 6.16.13 0/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 0/1 1/1 0/1 0/1 1/1 1/1 1/1 0/1
Bintoa() 6.16.14 0/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 0/1 1/1 0/1 0/1 1/1 1/1 1/1 0/1
Realtoa() 6.16.15 0/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 0/1 1/1 0/1 0/1 1/1 1/1 1/1 0/1
Event data type 6.17 1/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 0/1
User-defined types 6.18 15/27 27/27 27/27 0/27 30/30 27/30 22/30 27/27 24/27 21/30 13/30 13/30 27/27 27/27 29/30 18/30
Enumerations 6.19 2/2 2/2 2/2 0/2 5/5 2/5 2/5 2/2 2/2 2/5 2/5 2/5 2/2 2/2 5/5 2/5
Defining new data types as enumerated types 6.19.1 1/1 1/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1
Enumerated type ranges 6.19.2 2/2 1/2 1/2 0/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 0/2
Type checking 6.19.3 1/1 1/1 1/1 0/1 2/2 1/2 1/2 1/1 1/1 1/2 1/2 1/2 1/1 1/1 1/2 1/2
Enumerated types in numerical expressions 6.19.4 1/2 2/2 2/2 0/2 3/3 2/3 2/3 2/2 2/2 2/3 2/3 2/3 2/2 2/2 2/3 1/3
First() 6.19.5.1 1/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1 0/1 1/1 1/1 1/1 0/1
Last() 6.19.5.2 1/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1 0/1 1/1 1/1 1/1 0/1
Next() 6.19.5.3 1/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1 0/1 1/1 1/1 1/1 0/1
Prev() 6.19.5.4 1/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1 0/1 1/1 1/1 1/1 0/1
Num() 6.19.5.5 0/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1 0/1 1/1 1/1 1/1 0/1
Name() 6.19.5.6 0/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1 0/1 1/1 1/1 1/1 0/1
Value parameters 6.20.2 4/6 6/6 6/6 3/6 6/6 6/6 6/6 6/6 5/6 6/6 6/6 6/6 6/6 6/6 6/6 5/6
Type parameters 6.20.3 0/1 1/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1
Local parameters (localparam) 6.20.4 5/5 5/5 5/5 1/5 5/5 5/5 5/5 5/5 5/5 5/5 4/5 4/5 5/5 5/5 5/5 4/5
Specify parameters 6.20.5 1/1 0/1 0/1 0/1 2/2 1/2 1/2 1/1 1/1 2/2 2/2 2/2 1/1 1/1 2/2 1/2
Const constants 6.20.6 0/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 0/1 0/1 0/1 0/1 1/1 1/1 1/1 0/1
Type operator 6.23 0/2 0/2 1/2 0/2 2/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 0/2
Cast operator 6.24.1 1/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1
$cast dynamic casting 6.24.2 2/2 2/2 2/2 0/2 2/2 2/2 2/2 2/2 0/2 0/2 0/2 0/2 2/2 2/2 2/2 0/2
Bit-stream casting 6.24.3 1/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1
General 7.1 1/2 2/2 2/2 0/2 2/2 2/2 2/2 2/2 0/2 2/2 0/2 0/2 2/2 2/2 2/2 0/2
Structures 7.2 1/5 5/5 5/5 0/5 5/5 5/5 5/5 5/5 1/5 3/5 1/5 1/5 5/5 5/5 5/5 0/5
Packed structures 7.2.1 1/3 3/3 3/3 0/3 3/3 3/3 3/3 3/3 0/3 1/3 0/3 0/3 3/3 3/3 3/3 0/3
Assigning to structures 7.2.2 0/1 1/1 1/1 0/1 2/2 2/2 1/2 1/1 0/1 0/2 1/2 1/2 1/1 1/1 1/2 1/2
Unions 7.3 0/2 2/2 2/2 0/2 2/2 2/2 2/2 2/2 1/2 2/2 0/2 0/2 2/2 2/2 2/2 0/2
Packed unions 7.3.1 1/1 1/1 1/1 0/1 1/1 1/1 1/1 1/1 0/1 1/1 0/1 0/1 1/1 1/1 1/1 0/1
Tagged unions 7.3.2 0/2 0/2 0/2 0/2 2/2 2/2 0/2 2/2 0/2 0/2 0/2 0/2 0/2 0/2 0/2 0/2
Packed and unpacked arrays 7.4 2/2 2/2 2/2 0/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 1/2
Packed arrays 7.4.1 9/9 9/9 9/9 0/9 9/9 9/9 9/9 9/9 1/9 9/9 6/9 6/9 9/9 9/9 9/9 6/9
Unpacked arrays 7.4.2 1/13 1/13 9/13 0/13 13/13 13/13 8/13 13/13 1/13 3/13 1/13 1/13 13/13 13/13 13/13 0/13
Operations on arrays 7.4.3 7/13 13/13 13/13 0/13 14/14 13/14 13/14 13/13 0/13 13/14 1/14 1/14 13/13 13/13 13/14 1/14
Memories 7.4.4 2/2 2/2 2/2 0/2 2/2 2/2 2/2 2/2 1/2 2/2 0/2 0/2 2/2 2/2 2/2 0/2
Multidimensional arrays 7.4.5 3/4 4/4 4/4 0/4 4/4 4/4 4/4 4/4 2/4 4/4 2/4 2/4 4/4 4/4 4/4 0/4
Indexing and slicing of arrays 7.4.6 1/2 2/2 2/2 0/2 2/2 2/2 2/2 2/2 0/2 2/2 0/2 0/2 2/2 2/2 2/2 0/2
Dynamic arrays 7.5 1/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1
New[ ] 7.5.1 1/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 0/1 0/1 0/1 0/1 1/1 1/1 1/1 0/1
Size() 7.5.2 1/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 0/1 0/1 0/1 0/1 1/1 1/1 1/1 0/1
Delete() 7.5.3 1/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 0/1 0/1 0/1 0/1 1/1 1/1 1/1 0/1
Array assignments 7.6 0/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 0/1 1/1 0/1 0/1 1/1 1/1 1/1 0/1
Arrays as arguments to subroutines 7.7 0/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 0/1 1/1 0/1 0/1 1/1 1/1 1/1 0/1
Associative arrays 7.8 0/7 0/7 7/7 0/7 7/7 7/7 0/7 7/7 3/7 2/7 2/7 2/7 7/7 7/7 7/7 0/7
Wildcard index type 7.8.1 0/2 0/2 2/2 0/2 2/2 2/2 0/2 2/2 2/2 1/2 1/2 1/2 2/2 2/2 0/2 0/2
String index 7.8.2 0/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1
Class index 7.8.3 0/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 1/1 0/1 0/1 0/1 1/1 1/1 1/1 0/1
Integral index 7.8.4 0/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1
Accessing invalid indices 7.8.6 0/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 0/1 0/1 0/1 0/1 1/1 1/1 1/1 0/1
Allocating associative array elements 7.8.7 0/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 0/1 0/1 0/1 0/1 1/1 1/1 1/1 0/1
Associative array methods 7.9 0/9 0/9 9/9 0/9 9/9 9/9 0/9 9/9 0/9 0/9 0/9 0/9 9/9 9/9 9/9 0/9
Num() and size() 7.9.1 0/4 0/4 4/4 0/4 4/4 4/4 0/4 4/4 0/4 0/4 0/4 0/4 4/4 4/4 4/4 0/4
Delete() 7.9.2 0/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 0/1 0/1 0/1 0/1 1/1 1/1 1/1 0/1
Exists() 7.9.3 0/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 0/1 0/1 0/1 0/1 1/1 1/1 1/1 0/1
First() 7.9.4 0/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 0/1 0/1 0/1 0/1 1/1 1/1 1/1 0/1
Last() 7.9.5 0/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 0/1 0/1 0/1 0/1 1/1 1/1 1/1 0/1
Next() 7.9.6 0/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 0/1 0/1 0/1 0/1 1/1 1/1 1/1 0/1
Prev() 7.9.7 0/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 0/1 0/1 0/1 0/1 1/1 1/1 1/1 0/1
Arguments to traversal methods 7.9.8 0/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 0/1 0/1 0/1 0/1 1/1 1/1 1/1 0/1
Associative array assignment 7.9.9 0/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 0/1 0/1 0/1 0/1 1/1 1/1 1/1 0/1
Associative array arguments 7.9.10 0/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 0/1 0/1 0/1 0/1 1/1 1/1 1/1 0/1
Associative array literals 7.9.11 0/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 0/1 0/1 0/1 0/1 1/1 1/1 1/1 0/1
Queues 7.10 4/13 0/13 5/13 0/13 13/13 13/13 0/13 13/13 1/13 1/13 1/13 1/13 13/13 13/13 13/13 0/13
Queue operators 7.10.1 2/2 0/2 2/2 0/2 2/2 2/2 0/2 2/2 0/2 0/2 0/2 0/2 2/2 2/2 2/2 0/2
Queue methods 7.10.2 9/9 0/9 9/9 0/9 9/9 9/9 0/9 9/9 0/9 0/9 0/9 0/9 9/9 9/9 9/9 0/9
Size() 7.10.2.1 2/2 0/2 2/2 0/2 2/2 2/2 0/2 2/2 0/2 0/2 0/2 0/2 2/2 2/2 2/2 0/2
Insert() 7.10.2.2 1/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 0/1 0/1 0/1 0/1 1/1 1/1 1/1 0/1
Delete() 7.10.2.3 1/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 0/1 0/1 0/1 0/1 1/1 1/1 1/1 0/1
Pop_front() 7.10.2.4 1/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 0/1 0/1 0/1 0/1 1/1 1/1 1/1 0/1
Pop_back() 7.10.2.5 1/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 0/1 0/1 0/1 0/1 1/1 1/1 1/1 0/1
Push_front() 7.10.2.6 1/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 0/1 0/1 0/1 0/1 1/1 1/1 1/1 0/1
Push_back() 7.10.2.7 2/2 0/2 2/2 0/2 2/2 2/2 0/2 2/2 0/2 0/2 0/2 0/2 2/2 2/2 2/2 0/2
Persistence of references to elements of a queue 7.10.3 0/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 0/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Updating a queue using assignment and unpacked array concatenation 7.10.4 0/6 0/6 6/6 0/6 6/6 6/6 0/6 6/6 0/6 0/6 0/6 0/6 6/6 6/6 5/6 0/6
Bounded queues 7.10.5 1/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 0/1 0/1 0/1 0/1 1/1 1/1 1/1 0/1
Array querying functions 7.11 8/8 8/8 8/8 0/8 8/8 8/8 8/8 8/8 0/8 8/8 5/8 5/8 8/8 8/8 8/8 5/8
Array manipulation methods 7.12 2/10 0/10 3/10 0/10 10/10 10/10 0/10 10/10 0/10 0/10 0/10 0/10 10/10 10/10 10/10 0/10
Array locator methods 7.12.1 2/11 0/11 3/11 0/11 11/11 11/11 0/11 11/11 0/11 0/11 0/11 0/11 11/11 11/11 11/11 0/11
Array ordering methods 7.12.2 0/6 0/6 5/6 0/6 6/6 6/6 3/6 6/6 0/6 0/6 0/6 0/6 6/6 6/6 6/6 0/6
Array reduction methods 7.12.3 0/5 0/5 2/5 0/5 5/5 5/5 2/5 5/5 0/5 0/5 0/5 0/5 5/5 5/5 5/5 0/5
Iterator index querying 7.12.4 0/1 0/1 0/1 0/1 1/1 1/1 0/1 1/1 0/1 0/1 0/1 0/1 1/1 1/1 1/1 0/1
Syntax 8.3 24/70 43/70 50/70 1/70 70/70 68/70 27/70 69/70 53/70 56/70 62/70 62/70 69/70 69/70 40/70 1/70
Objects (class instance) 8.4 1/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 1/1 0/1 0/1 0/1 1/1 1/1 1/1 0/1
Object properties and object parameter data 8.5 1/3 0/3 3/3 0/3 3/3 3/3 0/3 3/3 0/3 0/3 0/3 0/3 3/3 3/3 2/3 0/3
Object methods 8.6 1/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 0/1 0/1 0/1 0/1 1/1 1/1 1/1 0/1
Constructors 8.7 1/3 0/3 2/3 0/3 3/3 3/3 0/3 3/3 0/3 0/3 0/3 0/3 3/3 3/3 2/3 0/3
Typed constructor calls 8.8 0/2 0/2 0/2 0/2 2/2 2/2 0/2 2/2 0/2 0/2 0/2 0/2 2/2 2/2 0/2 0/2
Static class properties 8.9 1/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 0/1 0/1 0/1 0/1 1/1 1/1 1/1 0/1
Static methods 8.10 1/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 0/1 0/1 0/1 0/1 1/1 1/1 1/1 0/1
This 8.11 1/1 1/1 1/1 0/1 1/1 1/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1
Assignment, renaming, and copying 8.12 2/2 0/2 2/2 0/2 2/2 2/2 0/2 2/2 0/2 0/2 0/2 0/2 2/2 2/2 2/2 0/2
Inheritance and subclasses 8.13 1/1 0/1 0/1 0/1 1/1 1/1 0/1 1/1 0/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Overridden members 8.14 0/1 0/1 0/1 0/1 1/1 1/1 0/1 1/1 0/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Super 8.15 1/2 0/2 0/2 0/2 2/2 2/2 0/2 2/2 0/2 0/2 0/2 0/2 2/2 2/2 0/2 0/2
Casting 8.16 2/2 2/2 2/2 0/2 2/2 2/2 2/2 2/2 0/2 1/2 0/2 0/2 2/2 2/2 2/2 0/2
Chaining constructors 8.17 2/2 0/2 1/2 0/2 2/2 2/2 0/2 2/2 0/2 0/2 0/2 0/2 1/2 1/2 0/2 0/2
Data hiding and encapsulation 8.18 5/5 2/5 5/5 0/5 10/10 5/10 5/10 5/5 2/5 7/10 7/10 7/10 5/5 5/5 10/10 5/10
Constant class properties 8.19 2/2 1/2 2/2 0/2 2/2 2/2 0/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 1/2 0/2
Virtual methods 8.20 0/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 0/1 0/1 0/1 0/1 1/1 1/1 1/1 0/1
Abstract classes and pure virtual methods 8.21 0/1 0/1 0/1 0/1 2/2 1/2 1/2 1/1 0/1 1/2 1/2 1/2 1/1 1/1 2/2 1/2
Polymorphism: dynamic method lookup 8.22 0/1 0/1 0/1 0/1 1/1 1/1 0/1 1/1 0/1 0/1 0/1 0/1 1/1 1/1 1/1 0/1
Class scope resolution operator :: 8.23 0/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 0/1 0/1 0/1 0/1 1/1 1/1 1/1 0/1
Out-of-block declarations 8.24 0/1 0/1 0/1 0/1 1/1 1/1 0/1 1/1 0/1 0/1 0/1 0/1 1/1 1/1 1/1 0/1
Parameterized classes 8.25 0/2 0/2 2/2 0/2 2/2 2/2 0/2 2/2 1/2 0/2 0/2 0/2 2/2 2/2 0/2 0/2
Class scope resolution operator for parameterized classes 8.25.1 0/1 0/1 0/1 0/1 2/2 1/2 1/2 1/1 0/1 1/2 1/2 1/2 1/1 1/1 1/2 1/2
Interface classes 8.26 0/5 5/5 5/5 0/5 5/5 5/5 0/5 5/5 5/5 5/5 4/5 4/5 5/5 5/5 0/5 0/5
Extends versus implements 8.26.2 0/4 0/4 4/4 0/4 4/4 3/4 0/4 4/4 0/4 0/4 0/4 0/4 4/4 4/4 0/4 0/4
Type access 8.26.3 0/2 0/2 2/2 0/2 3/3 2/3 1/3 2/2 1/2 2/3 2/3 2/3 2/2 2/2 1/3 1/3
Type usage restrictions 8.26.4 2/2 1/2 2/2 2/2 2/2 2/2 2/2 2/2
Casting and object reference assignment 8.26.5 0/1 0/1 1/1 0/1 2/2 1/2 1/2 1/1 0/1 1/2 1/2 1/2 1/1 1/1 1/2 1/2
Method name conflict resolution 8.26.6.1 0/1 0/1 1/1 0/1 2/2 1/2 1/2 1/1 0/1 1/2 1/2 1/2 1/1 1/1 1/2 1/2
Parameter and type declaration inheritance conflicts and resolution 8.26.6.2 0/1 0/1 0/1 0/1 2/2 1/2 1/2 1/1 1/1 1/2 1/2 1/2 1/1 1/1 1/2 1/2
Diamond relationship 8.26.6.3 0/1 0/1 0/1 0/1 2/2 1/2 1/2 1/1 1/1 1/2 1/2 1/2 1/1 1/1 1/2 1/2
Partial implementation 8.26.7 0/1 0/1 0/1 0/1 1/1 1/1 0/1 1/1 0/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Typedef class 8.27 0/1 0/1 0/1 0/1 1/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1
Initial procedures 9.2.1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1
General purpose always procedure 9.2.2.1 1/1 1/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1
Combinational logic always_comb procedure 9.2.2.2 1/1 1/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1
Latched logic always_latch procedure 9.2.2.3 1/1 1/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1
Sequential logic always_ff procedure 9.2.2.4 1/1 1/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1
Final procedures 9.2.3 1/1 1/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1 0/1 1/1 1/1 1/1 0/1
Sequential blocks 9.3.1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1
Parallel blocks 9.3.2 3/3 0/3 3/3 0/3 3/3 3/3 1/3 3/3 3/3 0/3 0/3 0/3 3/3 3/3 0/3 0/3
Statement block start and finish times 9.3.3 2/2 0/2 1/2 0/2 3/3 2/3 3/3 2/2 2/2 1/3 1/3 1/3 2/2 2/2 1/3 1/3
Block names 9.3.4 2/2 1/2 2/2 0/2 2/2 2/2 2/2 2/2 2/2 2/2 1/2 1/2 2/2 2/2 2/2 1/2
Statement labels 9.3.5 0/2 1/2 2/2 0/2 2/2 2/2 2/2 2/2 2/2 2/2 1/2 1/2 2/2 2/2 2/2 0/2
Delay control 9.4.1 2/2 2/2 2/2 1/2 4/4 4/4 4/4 2/2 2/2 2/4 2/4 2/4 2/2 2/2 2/4 2/4
Event control 9.4.2 3/3 3/3 3/3 2/3 5/5 5/5 4/5 3/3 3/3 2/5 3/5 3/5 3/3 3/3 3/5 2/5
Event OR operator 9.4.2.1 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2
Implicit event_expression list 9.4.2.2 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1
Conditional event controls 9.4.2.3 0/1 1/1 1/1 0/1 1/1 1/1 0/1 1/1 0/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Sequence events 9.4.2.4 0/1 0/1 0/1 0/1 1/1 1/1 0/1 1/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1
Level-sensitive event control 9.4.3 1/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 1/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Intra-assignment timing controls 9.4.5 7/7 1/7 1/7 2/7 7/7 7/7 3/7 7/7 7/7 7/7 7/7 7/7 7/7 7/7 2/7 2/7
Wait fork statement 9.6.1 1/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 1/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Disable statement 9.6.2 2/2 0/2 2/2 0/2 2/2 2/2 0/2 2/2 2/2 1/2 0/2 0/2 2/2 2/2 1/2 0/2
Disable fork statement 9.6.3 1/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 1/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Fine-grain process control 9.7 0/4 0/4 4/4 0/4 4/4 4/4 0/4 4/4 0/4 0/4 0/4 0/4 4/4 4/4 0/4 0/4
Continuous assignments 10.3 1/1 0/1 0/1 1/1 0/1 0/1 1/1 0/1
The net declaration assignment 10.3.1 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2
The continuous assignment statement 10.3.2 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1
Continuous assignment delays 10.3.3 1/2 2/2 2/2 1/2 2/2 2/2 1/2 2/2 2/2 2/2 2/2 2/2 1/2 1/2 2/2 2/2
Continuous assignment strengths 10.3.4 24/24 24/24 24/24 0/24 24/24 24/24 24/24 24/24 24/24 24/24 24/24 24/24 0/24 0/24 0/24 0/24
Blocking procedural assignments 10.4.1 1/1 1/1 1/1 0/1 1/1 1/1 1/1 1/1 0/1 1/1 0/1 0/1 1/1 1/1 1/1 0/1
Nonblocking procedural assignments 10.4.2 1/1 1/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1
The assign and deassign procedural statements 10.6.1 1/1 0/1 0/1 0/1 1/1 1/1 0/1 1/1 1/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
The force and release procedural statements 10.6.2 1/1 0/1 0/1 0/1 1/1 1/1 0/1 1/1 1/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Operators 11.3 6/6 6/6 6/6 3/6 6/6 6/6 6/6 6/6 6/6 6/6 6/6 6/6 6/6 6/6 6/6 6/6
Operator expression short circuiting 11.3.5 1/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 0/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Assignment within an expression 11.3.6 3/11 10/11 10/11 1/11 11/11 11/11 1/11 11/11 6/11 1/11 1/11 1/11 11/11 11/11 3/11 1/11
Assignment operators 11.4.1 34/34 34/34 34/34 1/34 34/34 34/34 34/34 34/34 13/34 34/34 13/34 13/34 34/34 34/34 34/34 13/34
Increment and decrement operators 11.4.2 4/4 4/4 4/4 0/4 4/4 4/4 4/4 4/4 2/4 4/4 2/4 2/4 4/4 4/4 4/4 2/4
Arithmetic operators 11.4.3 24/24 20/24 24/24 15/24 24/24 24/24 24/24 24/24 12/24 24/24 12/24 12/24 24/24 24/24 24/24 12/24
Relational operators 11.4.4 16/16 16/16 16/16 12/16 16/16 16/16 16/16 16/16 8/16 16/16 8/16 8/16 16/16 16/16 16/16 8/16
Equality operators 11.4.5 39/39 39/39 39/39 33/39 39/39 39/39 39/39 39/39 8/39 32/39 8/39 8/39 39/39 39/39 32/39 8/39
Wildcard equality operators 11.4.6 18/18 18/18 18/18 0/18 18/18 18/18 18/18 18/18 2/18 8/18 0/18 0/18 18/18 18/18 8/18 0/18
Logical operators 11.4.7 18/24 12/24 24/24 10/24 24/24 24/24 24/24 24/24 8/24 18/24 6/24 6/24 24/24 24/24 24/24 4/24
Bitwise operators 11.4.8 15/15 15/15 15/15 10/15 15/15 15/15 15/15 15/15 9/15 15/15 9/15 9/15 15/15 15/15 15/15 9/15
Reduction operators 11.4.9 14/14 14/14 14/14 4/14 14/14 14/14 14/14 14/14 14/14 14/14 14/14 14/14 14/14 14/14 14/14 14/14
Shift operators 11.4.10 14/14 14/14 14/14 6/14 14/14 14/14 14/14 14/14 6/14 12/14 6/14 6/14 14/14 14/14 14/14 6/14
Conditional operator 11.4.11 3/3 3/3 3/3 1/3 3/3 3/3 3/3 3/3 2/3 3/3 2/3 2/3 3/3 3/3 3/3 2/3
Concatenation operators 11.4.12 3/3 3/3 3/3 1/3 3/3 3/3 3/3 3/3 2/3 3/3 2/3 2/3 3/3 3/3 3/3 2/3
Replication operator 11.4.12.1 5/5 5/5 5/5 1/5 5/5 5/5 5/5 5/5 3/5 5/5 3/5 3/5 5/5 5/5 5/5 3/5
String concatenation 11.4.12.2 2/2 0/2 2/2 0/2 2/2 2/2 2/2 2/2 0/2 2/2 0/2 0/2 2/2 2/2 2/2 0/2
Set membership operator 11.4.13 0/3 3/3 3/3 0/3 3/3 3/3 3/3 3/3 2/3 3/3 2/3 2/3 3/3 3/3 3/3 0/3
Concatenation of stream_expressions 11.4.14.1 0/2 0/2 2/2 0/2 2/2 2/2 2/2 2/2 1/2 2/2 1/2 1/2 2/2 2/2 2/2 0/2
Re-ordering of the generic stream 11.4.14.2 0/4 0/4 4/4 0/4 4/4 4/4 4/4 4/4 2/4 4/4 0/4 0/4 4/4 4/4 2/4 0/4
Streaming concatenation as an assignment target (unpack) 11.4.14.3 0/5 0/5 5/5 0/5 6/6 5/6 5/6 5/5 3/5 5/6 3/6 3/6 5/5 5/5 6/6 1/6
Streaming dynamically sized data 11.4.14.4 0/3 0/3 3/3 0/3 3/3 3/3 0/3 3/3 2/3 0/3 0/3 0/3 2/3 2/3 1/3 0/3
Vector bit-select and part-select addressing 11.5.1 12/12 12/12 12/12 4/12 12/12 12/12 12/12 12/12 8/12 12/12 8/12 8/12 12/12 12/12 12/12 8/12
Array and memory addressing 11.5.2 5/5 5/5 5/5 0/5 5/5 5/5 5/5 5/5 2/5 5/5 3/5 3/5 5/5 5/5 5/5 3/5
Signed expressions 11.7 4/4 4/4 4/4 0/4 4/4 4/4 4/4 4/4 2/4 3/4 2/4 2/4 4/4 4/4 4/4 2/4
Tagged union expressions and member access 11.9 0/3 0/3 0/3 0/3 3/3 3/3 0/3 3/3 2/3 1/4 0/3 0/3 0/3 0/3 1/4 0/3
String literal expressions 11.10 2/2 2/2 2/2 0/2 2/2 2/2 2/2 2/2 1/2 2/2 1/2 1/2 2/2 2/2 2/2 1/2
String literal operations 11.10.1 3/3 3/3 3/3 0/3 3/3 3/3 3/3 3/3 0/3 3/3 0/3 0/3 3/3 3/3 3/3 0/3
Empty string literal handling 11.10.3 2/2 2/2 2/2 0/2 2/2 2/2 2/2 2/2 1/2 2/2 1/2 1/2 2/2 2/2 2/2 1/2
Minimum, typical, and maximum delay expressions 11.11 1/1 0/1 0/1 0/1 1/1 1/1 1/1 1/1 0/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1
Let construct 11.12 0/1 0/1 0/1 0/1 1/1 1/1 0/1 1/1 1/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Conditional if-else statement 12.4 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2
if-else-if construct 12.4.1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1
unique-if, unique0-if, and priority-if 12.4.2 0/3 3/3 3/3 0/3 3/3 3/3 3/3 3/3 3/3 3/3 3/3 3/3 3/3 3/3 3/3 0/3
Case statement 12.5 1/1 1/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1
Case statement with do-not-cares 12.5.1 2/2 2/2 2/2 0/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2
Constant expression in case statement 12.5.2 1/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1
unique-case, unique0-case, and priority-case 12.5.3 9/9 9/9 9/9 0/9 9/9 9/9 9/9 9/9 9/9 9/9 9/9 9/9 9/9 9/9 9/9 9/9
Set membership case statement 12.5.4 0/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1
Pattern matching in case statements 12.6.1 0/3 0/3 0/3 0/3 0/3 3/3 0/3 3/3 0/3 0/3 0/3 0/3 3/3 3/3 0/3 0/3
Pattern matching in if statements 12.6.2 0/1 0/1 0/1 0/1 0/1 1/1 0/1 1/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1
Pattern matching in conditional expressions 12.6.3 0/1 0/1 0/1 0/1 0/1 1/1 0/1 1/1 1/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1
The for-loop 12.7.1 1/1 1/1 1/1 0/1 1/1 1/1 1/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1
The repeat loop 12.7.2 1/1 1/1 1/1 0/1 1/1 1/1 1/1 1/1 0/1 1/1 0/1 0/1 1/1 1/1 1/1 0/1
The foreach-loop 12.7.3 0/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 0/1 0/1 0/1 0/1 1/1 1/1 1/1 0/1
The while-loop 12.7.4 0/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 0/1 1/1 0/1 0/1 1/1 1/1 1/1 0/1
The do...while-loop 12.7.5 0/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 0/1 1/1 0/1 0/1 1/1 1/1 1/1 0/1
The forever-loop 12.7.6 1/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 1/1 1/1 0/1 0/1 1/1 1/1 1/1 0/1
Jump statements 12.8 2/4 1/4 4/4 0/4 4/4 4/4 4/4 4/4 0/4 4/4 0/4 0/4 4/4 4/4 4/4 0/4
Tasks 13.3 1/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1
Static and automatic tasks 13.3.1 2/2 0/2 2/2 0/2 2/2 2/2 2/2 2/2 0/2 1/2 0/2 0/2 2/2 2/2 1/2 0/2
Functions 13.4 1/1 1/1 1/1 0/1 1/1 1/1 1/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1
Return values and void functions 13.4.1 2/2 2/2 2/2 0/2 3/3 3/3 3/3 2/2 0/2 3/3 3/3 3/3 2/2 2/2 3/3 2/3
Static and automatic functions 13.4.2 3/3 3/3 3/3 0/3 3/3 3/3 3/3 3/3 0/3 2/3 0/3 0/3 3/3 3/3 2/3 0/3
Constant functions 13.4.3 1/1 1/1 1/1 0/1 1/1 1/1 1/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1
Background processes spawned by function calls 13.4.4 1/1 1/1 1/1 0/1 2/2 1/2 1/2 1/1 0/1 1/2 1/2 1/2 1/1 1/1 1/2 1/2
Clocking block declaration 14.3 0/4 0/4 0/4 0/4 5/5 4/5 1/5 4/4 4/4 4/5 3/5 3/5 4/4 4/4 1/5 1/5
Mailboxes 15.4 0/2 0/2 2/2 0/2 0/2 2/2 0/2 2/2 0/2 0/2 0/2 0/2 2/2 2/2 0/2 0/2
Named Events 15.5 0/3 0/3 1/3 0/3 3/3 3/3 0/3 3/3 3/3 0/3 0/3 0/3 3/3 3/3 0/3 0/3
Overview 16.2 2/3 3/3 3/3 0/3 3/3 3/3 3/3 3/3 3/3 1/3 3/3 3/3 3/3 3/3 3/3 3/3
Deferred assertions 16.4 2/6 6/6 6/6 0/6 6/6 6/6 6/6 6/6 6/6 6/6 6/6 6/6 6/6 6/6 6/6 0/6
Sequences 16.7 0/1 0/1 0/1 0/1 1/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 0/1 0/1 0/1 0/1
Sequence operations 16.9 0/19 6/19 6/19 0/19 19/19 19/19 6/19 19/19 3/19 19/19 19/19 19/19 16/19 16/19 6/19 0/19
Local variables 16.10 0/2 0/2 0/2 0/2 2/2 2/2 0/2 2/2 0/2 2/4 0/2 0/2 1/2 1/2 2/4 0/2
Declaring properties 16.12 0/5 5/5 5/5 0/5 5/5 5/5 5/5 5/5 5/5 5/5 5/5 5/5 5/5 5/5 4/5 0/5
Concurrent assertions 16.14 0/1 1/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1
Disable iff resolution 16.15 0/1 0/1 0/1 0/1 1/1 1/1 0/1 1/1 0/1 1/2 0/1 0/1 1/1 1/1 1/2 0/1
Expect statement 16.17 0/1 1/1 1/1 0/1 1/1 0/1 0/1 1/1 1/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Rand modifier 18.4.1 0/1 1/1 1/1 0/1 1/1 1/1 0/1 1/1 1/1 1/1 0/1 0/1 1/1 1/1 1/1 0/1
Randc modifier 18.4.2 0/1 1/1 1/1 0/1 1/1 1/1 0/1 1/1 1/1 1/1 0/1 0/1 1/1 1/1 1/1 0/1
Constraint blocks 18.5 0/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 1/1 1/1 0/1 0/1 1/1 1/1 1/1 0/1
External constraint blocks 18.5.1 0/3 1/3 1/3 0/3 4/4 3/4 1/4 3/3 1/3 3/4 1/4 1/4 2/3 2/3 2/4 1/4
Constraint inheritance 18.5.2 0/3 0/3 3/3 0/3 4/4 3/4 1/4 3/3 3/3 3/4 1/4 1/4 1/3 1/3 2/4 1/4
Set membership 18.5.3 0/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 1/1 1/1 0/1 0/1 1/1 1/1 1/1 0/1
Distribution 18.5.4 0/1 0/1 0/1 0/1 2/2 1/2 1/2 1/1 1/1 1/2 1/2 1/2 1/1 1/1 1/2 1/2
Uniqueness constraints 18.5.5 0/1 0/1 0/1 0/1 1/1 1/1 0/1 1/1 1/1 1/1 0/1 0/1 1/1 1/1 0/1 0/1
Implication 18.5.6 0/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 1/1 1/1 0/1 0/1 1/1 1/1 1/1 0/1
if–else constraints 18.5.7 0/4 0/4 0/4 0/4 4/4 4/4 0/4 4/4 4/4 4/4 0/4 0/4 4/4 4/4 4/4 0/4
foreach iterative constraints 18.5.8.1 0/1 0/1 0/1 0/1 1/1 1/1 0/1 1/1 1/1 1/1 0/1 0/1 1/1 1/1 1/1 0/1
Array reduction iterative constraints 18.5.8.2 0/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 1/1 1/1 0/1 0/1 1/1 1/1 1/1 0/1
Global constraints 18.5.9 0/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 1/1 0/1 0/1 0/1 1/1 1/1 1/1 0/1
Variable ordering 18.5.10 0/1 0/1 0/1 0/1 2/2 1/2 1/2 1/1 1/1 1/2 1/2 1/2 1/1 1/1 1/2 1/2
Static constraint blocks 18.5.11 0/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 1/1 1/1 0/1 0/1 1/1 1/1 1/1 0/1
Functions in constraints 18.5.12 0/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 1/1 1/1 0/1 0/1 1/1 1/1 1/1 0/1
Constraint guards 18.5.13 0/1 0/1 0/1 0/1 1/1 1/1 0/1 1/1 1/1 0/1 0/1 0/1 1/1 1/1 1/1 0/1
Soft constraints 18.5.14 0/1 0/1 0/1 0/1 2/2 1/2 1/2 1/1 1/1 1/2 1/2 1/2 1/1 1/1 1/2 1/2
Soft constraint priorities 18.5.14.1 0/2 0/2 0/2 0/2 2/2 2/2 0/2 2/2 1/2 2/2 0/2 0/2 2/2 2/2 1/2 0/2
Discarding soft constraints 18.5.14.2 0/2 0/2 0/2 0/2 2/2 2/2 0/2 2/2 2/2 2/2 0/2 0/2 2/2 2/2 2/2 0/2
Pre_randomize() and post_randomize() 18.6.2 0/2 0/2 2/2 0/2 2/2 2/2 0/2 2/2 2/2 2/2 0/2 0/2 2/2 2/2 0/2 0/2
Behavior of randomization methods 18.6.3 0/1 0/1 1/1 0/1 2/2 2/2 1/2 1/1 1/1 2/2 1/2 1/2 1/1 1/1 2/2 1/2
In-line constraints—randomize() with 18.7 0/3 0/3 0/3 0/3 3/3 3/3 0/3 3/3 3/3 1/3 0/3 0/3 3/3 3/3 0/3 0/3
local:: scope resolution 18.7.1 0/1 0/1 0/1 0/1 1/1 1/1 0/1 1/1 0/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Disabling random variables with rand_mode() 18.8 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2
Randomization of scope variables—std::randomize() 18.12 0/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1 0/1 1/1 1/1 0/1 0/1
Adding constraints to scope variables—std::randomize() with 18.12.1 0/1 0/1 0/1 0/1 1/1 1/1 0/1 1/1 1/1 1/1 0/1 0/1 1/1 1/1 0/1 0/1
$urandom 18.13.1 0/2 2/2 2/2 0/2 2/2 2/2 2/2 2/2 2/2 2/2 0/2 0/2 2/2 2/2 2/2 0/2
$urandom_range() 18.13.2 0/1 1/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1 0/1 1/1 1/1 1/1 0/1
Manually seeding randomize 18.15 0/1 1/1 1/1 0/1 1/1 0/1 0/1 1/1 0/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Random weighted case—randcase 18.16 0/2 0/2 0/2 0/2 2/2 2/2 0/2 2/2 2/2 0/2 0/2 0/2 2/2 2/2 0/2 0/2
Random sequence generation—randsequence 18.17 0/2 0/2 0/2 0/2 2/2 2/2 0/2 2/2 0/2 2/2 0/2 0/2 2/2 2/2 0/2 0/2
Random production weights 18.17.1 0/1 0/1 0/1 0/1 1/1 1/1 0/1 1/1 0/1 1/1 0/1 0/1 1/1 1/1 0/1 0/1
if–else production statements 18.17.2 0/2 0/2 0/2 0/2 4/4 2/4 2/4 2/2 0/2 2/4 2/4 2/4 2/2 2/2 2/4 2/4
Case production statements 18.17.3 0/1 0/1 0/1 0/1 2/2 1/2 1/2 1/1 0/1 1/2 1/2 1/2 1/1 1/1 1/2 1/2
Repeat production statements 18.17.4 0/1 0/1 0/1 0/1 1/1 1/1 0/1 1/1 0/1 1/1 0/1 0/1 1/1 1/1 0/1 0/1
Interleaving productions—rand join 18.17.5 0/2 0/2 0/2 0/2 2/2 2/2 0/2 2/2 0/2 2/2 0/2 0/2 2/2 2/2 0/2 0/2
Aborting productions—break and return 18.17.6 0/2 0/2 0/2 0/2 3/3 2/3 1/3 2/2 0/2 2/3 1/3 1/3 2/2 2/2 1/3 1/3
Value passing between productions 18.17.7 0/1 0/1 0/1 0/1 1/1 1/1 0/1 1/1 0/1 1/1 0/1 0/1 0/1 0/1 0/1 0/1
Simulation control system tasks 20.2 3/3 0/3 3/3 2/3 3/3 3/3 3/3 3/3 0/3 3/3 0/3 0/3 3/3 3/3 3/3 0/3
Simulation time system functions 20.3 3/3 3/3 3/3 0/3 3/3 3/3 3/3 3/3 0/3 3/3 0/3 0/3 3/3 3/3 3/3 0/3
Timescale system tasks 20.4 3/3 2/3 3/3 2/3 3/3 3/3 3/3 3/3 0/3 3/3 0/3 0/3 3/3 3/3 3/3 0/3
Conversion functions 20.5 4/4 3/4 4/4 0/4 4/4 4/4 4/4 4/4 0/4 3/4 1/4 1/4 4/4 4/4 4/4 1/4
Data query functions 20.6 3/5 4/5 4/5 0/5 5/5 5/5 3/5 5/5 0/5 3/5 3/5 3/5 5/5 5/5 5/5 1/5
Array query functions 20.7 2/2 2/2 2/2 0/2 2/2 2/2 2/2 2/2 0/2 1/2 0/2 0/2 2/2 2/2 2/2 0/2
Math functions 20.8 22/22 22/22 22/22 1/22 22/22 22/22 22/22 22/22 0/22 22/22 1/22 1/22 22/22 22/22 22/22 1/22
Bit vector system functions 20.9 4/4 3/4 3/4 0/4 4/4 4/4 4/4 4/4 0/4 4/4 1/4 1/4 4/4 4/4 4/4 1/4
Severity tasks 20.10 4/4 4/4 4/4 4/4 4/4 4/4 4/4 4/4 0/4 4/4 3/4 3/4 4/4 4/4 4/4 3/4
Sampled value system functions 20.13 0/16 6/16 6/16 0/16 16/16 16/16 6/16 16/16 0/16 16/16 16/16 16/16 16/16 16/16 6/16 0/16
Coverage system functions 20.14 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 1/1 0/1
Probabilistic distribution functions 20.15 8/8 8/8 8/8 0/8 8/8 8/8 8/8 8/8 0/8 1/8 0/8 0/8 8/8 8/8 1/8 0/8
Display system tasks 21.2 6/6 5/6 6/6 0/6 6/6 6/6 6/6 6/6 0/6 6/6 0/6 0/6 6/6 6/6 6/6 0/6
File input/output system tasks and system functions 21.3 17/17 9/17 17/17 0/17 17/17 17/17 17/17 17/17 0/17 15/17 0/17 0/17 17/17 17/17 17/17 0/17
Loading memory array data from a file 21.4 2/2 0/2 2/2 0/2 2/2 2/2 2/2 2/2 0/2 2/2 2/2 2/2 2/2 2/2 2/2 0/2
Command line input 21.6 2/2 2/2 2/2 0/2 2/2 2/2 2/2 2/2 0/2 1/2 0/2 0/2 2/2 2/2 2/2 0/2
Value change dump (VCD) files 21.7 2/2 0/2 2/2 0/2 2/2 2/2 2/2 2/2 0/2 0/2 0/2 0/2 2/2 2/2 2/2 0/2
resetall 22.3 3/3 2/3 2/3 1/3 3/3 3/3 2/3 3/3 2/3 3/3 3/3 3/3 3/3 3/3 3/3 2/3
include 22.4 6/6 8/8 6/6 1/8 8/8 8/8 8/8 8/8 5/6 8/8 8/8 8/8 5/6 5/6 8/8 8/8
define 22.5.1 22/29 9/29 29/29 29/29 29/29 29/29 29/29 29/29 29/29 29/29 14/29
undef 22.5.2 2/2 0/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2
undefineall 22.5.3 0/2 0/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 0/2
ifdef, else, elsif, endif, ifndef 22.6 2/3 2/3 3/3 3/3 3/3 3/3 3/3 3/3 3/3 3/3 3/3
timescale 22.7 3/4 0/4 6/6 6/6 4/6 4/4 6/6 6/6 6/6 6/6 6/6
default_nettype 22.8 2/2 1/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 1/2
unconnected_drive and nounconnected_drive 22.9 2/2 0/2 5/5 5/5 5/5 2/2 5/5 5/5 5/5 5/5 3/5
celldefine and endcelldefine 22.10 2/2 0/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2
pragma 22.11 1/6 1/6 6/6 6/6 6/6 6/6 6/6 6/6 6/6 6/6 1/6
line 22.12 6/7 5/7 7/7 7/7 7/7 7/7 7/7 7/7 7/7 7/7 4/7
Module definitions 23.2 2/2 1/2 1/2 0/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 2/2 1/2
The program construct 24.3 1/1 0/1 0/1 0/1 1/1 1/1 0/1 1/1 0/1 0/1 1/1 1/1 1/1 1/1 1/1 0/1
Interface syntax 25.3 0/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1
Package declarations 26.2 1/1 0/1 0/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1
Referencing data in packages 26.3 1/1 0/1 0/1 0/1 1/1 1/1 1/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1
Total tests passed 972/1465 1011/1556 1166/1465 430/1556 1608/1618 1559/1618 1153/1618 1553/1556 589/1465 1208/1633 909/1618 909/1618 1384/1465 1260/1465 1247/1633 536/1618
Total tags passed 157/331 117/341 242/331 20/341 337/344 302/344 168/344 337/341 141/331 185/344 100/344 100/344 303/331 301/331 238/344 46/344
Total time elapsed 10s 9s 6s 5s 54s 715s 920s 2955s 109s 910s 761s 751s 4s 1115s 313s 59s
User time elapsed 7s 5s 4s 3s 43s 682s 654s 2918s 97s 848s 703s 710s 3s 1094s 266s 51s
System time elapsed 2s 3s 2s 2s 11s 33s 266s 36s 12s 62s 58s 40s 1s 21s 46s 8s
Maximum ram usage 8 MB 12 MB 8 MB 8 MB 87 MB 179 MB 553 MB 291 MB 23 MB 179 MB 15605 MB 178 MB 8 MB 166 MB 90 MB 45 MB
Average throughput passed for inputs > 1KiB 170 KiB/s 142 KiB/s 355 KiB/s 0 KiB/s 9 KiB/s 1 KiB/s 1 KiB/s 0 KiB/s 0 KiB/s 1 KiB/s 1 KiB/s 1 KiB/s 882 KiB/s 179 KiB/s 6 KiB/s 9 KiB/s

Cores

Icarus moore moore_parse Odin Slang Surelog Sv2v_zachjs sv_parser tree_sitter_verilog UhdmVerilator UhdmYosys VanillaYosysUhdmPlugin Verible VeribleExtractor Verilator Yosys
Ariane RISC-V core ariane 0/1 0/1 1/1 0/1 1/1 1/1 0/1 1/1 0/1 0/1 0/1 0/1 0/1 0/1 1/1 0/1
Lowrisc chip with Ibex core earlgrey 0/1 0/1 0/1 0/1 1/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 1/1 0/1 0/1 0/1
FX68K m68k core fx68k 0/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 0/1 0/1 0/1 0/1 1/1 1/1 1/1 0/1
Ibex RISC-V core ibex 0/1 0/1 0/1 0/1 1/1 1/1 0/1 1/1 0/1 1/1 0/1 0/1 1/1 0/1 1/1 0/1
RSD RISC-V core rsd 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1
SCR1 RISC-V core scr1 0/1 0/1 0/1 0/1 1/1 1/1 1/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1 0/1
SweRV RISC-V core swerv 0/1 0/1 0/1 0/1 1/1 1/1 1/1 1/1 0/1 0/1 0/1 0/1 0/1 0/1 1/1 0/1
NoC router and fabric TNoC 0/1 0/1 0/1 0/1 1/1 1/1 0/1 1/1 0/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Total tests passed 0/8 0/8 2/8 0/8 7/8 6/8 3/8 5/8 0/8 1/8 0/8 0/8 4/8 2/8 4/8 0/8
Total tags passed 0/8 0/8 2/8 0/8 7/8 6/8 3/8 5/8 0/8 1/8 0/8 0/8 4/8 2/8 4/8 0/8
Total time elapsed 0s 2s 1s 0s 2s 318s 15s 78s 10s 337s 323s 338s 1s 126s 15s 0s
User time elapsed 0s 1s 1s 0s 2s 309s 13s 77s 9s 327s 313s 328s 1s 125s 14s 0s
System time elapsed 0s 0s 0s 0s 0s 10s 2s 1s 1s 11s 10s 10s 0s 1s 1s 0s
Maximum ram usage 16 MB 158 MB 139 MB 9 MB 239 MB 5120 MB 521 MB 498 MB 58 MB 9063 MB 9109 MB 9109 MB 41 MB 844 MB 518 MB 14 MB
Average throughput passed for inputs > 1KiB 0 KiB/s 0 KiB/s 6967 KiB/s 0 KiB/s 6668 KiB/s 38 KiB/s 184 KiB/s 143 KiB/s 0 KiB/s 36 KiB/s 0 KiB/s 0 KiB/s 9573 KiB/s 770 KiB/s 342 KiB/s 0 KiB/s

Icarus moore moore_parse Odin Slang Surelog Sv2v_zachjs sv_parser tree_sitter_verilog UhdmVerilator UhdmYosys VanillaYosysUhdmPlugin Verible VeribleExtractor Verilator Yosys
Tests imported from Basejump STL basejump 0/331 300/331 312/331 0/331 331/331 328/331 321/331 331/331 0/331 315/331 0/331 0/331 41/331 41/331 330/331 0/331
BlackParrot RISC-V core black-parrot 0/7 0/7 0/7 0/7 6/7 7/7 7/7 0/7 0/7 0/7 0/7 0/7 0/7 0/7 4/7 0/7
Tests imported from hdlConvertor hdlconv 16/18 17/18 18/18 9/18 18/18 18/18 17/18 18/18 12/18 18/18 18/18 18/18 18/18 18/18 18/18 13/18
Tests imported from hdlConvertor (std2012) hdlconv_std2012 2/25 7/25 14/25 0/25 25/25 25/25 7/25 25/25 14/25 24/25 24/25 24/25 24/25 24/25 10/25 2/25
Tests imported from hdlConvertor (std2017) hdlconv_std2017 35/225 41/225 95/225 2/225 221/225 223/225 61/225 225/225 123/225 209/225 209/225 209/225 189/225 186/225 68/225 27/225
Tests imported from ivtest ivtest 2116/2157 748/2157 1604/2157 349/2157 2012/2157 1997/2157 1643/2157 2016/2157 148/2157 1431/2157 1983/2157 1983/2157 1905/2157 1902/2157 1734/2157 1314/2157
projf-explore 26/208 30/208 185/208 0/208 208/208 208/208 208/208 208/208 94/208 208/208 208/208 208/208 208/208 208/208 31/208 208/208
Tests imported from utd-SystemVerilog utd-sv 120/294 15/294 291/294 102/294 294/294 294/294 289/294 294/294 216/294 294/294 294/294 294/294 294/294 294/294 125/294 289/294
Tests imported from Yosys yosys 200/211 63/211 180/211 91/211 211/211 210/211 202/211 210/211 177/211 184/211 205/211 205/211 203/211 203/211 202/211 183/211
Total tests passed 2515/3476 1221/3476 2699/3476 553/3476 3326/3476 3310/3476 2755/3476 3327/3476 784/3476 2683/3476 2941/3476 2941/3476 2882/3476 2876/3476 2522/3476 2036/3476
Total tags passed 0/9 0/9 1/9 0/9 6/9 5/9 2/9 6/9 0/9 3/9 3/9 3/9 3/9 3/9 1/9 1/9
Total time elapsed 24s 121s 19s 46s 18s 3679s 4083s 438s 309s 4382s 3367s 3483s 13s 50s 750s 30s
User time elapsed 18s 107s 13s 41s 11s 3536s 3734s 418s 278s 4116s 3177s 3334s 9s 43s 619s 23s
System time elapsed 7s 14s 6s 5s 6s 143s 349s 20s 32s 266s 190s 149s 4s 7s 131s 8s
Maximum ram usage 16 MB 3676 MB 141 MB 160 MB 347 MB 12270 MB 5410 MB 723 MB 68 MB 12676 MB 14216 MB 14212 MB 27 MB 53 MB 535 MB 26 MB
Average throughput passed for inputs > 1KiB 423 KiB/s 1843 KiB/s 2584 KiB/s 322 KiB/s 3012 KiB/s 11 KiB/s 8 KiB/s 105 KiB/s 100 KiB/s 12 KiB/s 8 KiB/s 8 KiB/s 1679 KiB/s 362 KiB/s 80 KiB/s 440 KiB/s
Download a summary in csv