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 Slang_parse Surelog Sv2v_zachjs sv_parser tree_sitter_verilog UhdmVerilator UhdmYosys 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 3/151 0/148 149/151 3/151 148/148 0/148 22/162 11/151 123/148 0/148 14/162 3/151
uvm_agent examples uvm-agents 0/3 0/3 0/3 0/3 0/3 0/3 3/3 0/3 3/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 0/26 0/26 26/26 0/26 26/26 0/26 11/37 0/26 12/26 0/26 11/37 0/26
Particular UVM classes uvm-classes 0/36 0/36 0/36 0/36 0/36 0/36 36/36 0/36 36/36 0/36 8/36 8/36 28/36 0/36 0/36 0/36
uvm-random 0/77 0/77 0/77 0/77 3/80 0/77 78/80 3/80 77/77 0/77 3/80 3/80 74/77 0/77 3/80 3/80
UVM Prerequisites uvm-req 186/285 205/300 237/285 18/300 313/313 299/300 304/313 216/313 298/300 152/285 247/313 224/313 279/285 279/285 247/313 97/313
uvm_scoreboard examples uvm-scoreboards 0/3 0/3 0/3 0/3 0/3 0/3 3/3 0/3 3/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 7/7 0/1 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 7/7 1/1 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 248/248 243/248 248/248 248/248 2/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 1/1 0/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 89/90 89/90 90/90 90/90 90/90 63/66 90/90 90/90 63/66 62/66 90/90 86/90
Integer literal constants 5.7.1 64/64 63/64 62/64 3/64 63/64 63/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 4/4 2/4 3/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 1/1 0/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 3/3 4/4 2/4 3/3 3/3 2/4 4/4 3/3 3/3 3/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 2/3 3/3 3/3 3/3 0/3
Attributes 5.12 5/5 5/5 5/5 0/5 5/5 5/5 5/5 3/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 1/1 0/1 1/1 0/1 1/1 1/1 1/1 0/1
Nets and variables 6.5 1/1 1/1 1/1 0/1 4/4 1/1 2/4 1/4 1/1 1/1 2/4 2/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 2/2 1/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 4/4 0/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 1/1 0/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 2/2 0/2 2/2 2/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 1/1 0/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 3/3 1/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 3/3 4/6 3/6 3/3 3/3 6/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 1/1 0/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 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1
Class 6.15 20/41 31/41 37/41 0/41 41/41 41/41 40/41 21/41 41/41 36/41 30/41 40/41 41/41 41/41 21/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 1/1 1/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 1/1 0/1 1/1 1/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 1/1 1/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 1/1 1/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 1/1 1/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 1/1 1/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 1/1 1/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 4/4 4/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 1/1 1/1 1/1 1/1 1/1 0/1
Itoa() 6.16.11 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
Hextoa() 6.16.12 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
Octtoa() 6.16.13 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
Bintoa() 6.16.14 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
Realtoa() 6.16.15 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
Event data type 6.17 1/1 0/1 1/1 0/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
User-defined types 6.18 19/27 27/27 27/27 0/27 30/30 27/27 29/30 22/30 27/27 24/27 23/30 28/30 27/27 27/27 30/30 18/30
Enumerations 6.19 2/2 2/2 2/2 0/2 5/5 2/2 3/5 2/5 2/2 2/2 2/5 3/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/1 1/2 1/2 1/1 1/1 1/2 1/2 1/1 1/1 1/2 1/2
Enumerated types in numerical expressions 6.19.4 2/2 2/2 2/2 0/2 3/3 2/2 2/3 2/3 2/2 2/2 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 1/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 1/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 1/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 1/1 0/1 1/1 1/1 1/1 0/1
Num() 6.19.5.5 1/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1 1/1 1/1 1/1 0/1
Name() 6.19.5.6 1/1 0/1 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1 1/1 1/1 1/1 0/1
Value parameters 6.20.2 5/6 6/6 6/6 3/6 6/6 6/6 6/6 6/6 6/6 5/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 5/5 5/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/1 1/2 1/2 1/1 1/1 2/2 1/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 1/1 0/1 1/1 0/1 0/1 1/1 1/1 1/1 1/1 0/1
Type operator 6.23 0/2 0/2 1/2 0/2 2/2 2/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 2/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 2/2 0/2 2/2 0/2 2/2 2/2 2/2 0/2
Structures 7.2 3/5 5/5 5/5 0/5 5/5 5/5 5/5 5/5 5/5 1/5 3/5 1/5 5/5 5/5 5/5 0/5
Packed structures 7.2.1 3/3 3/3 3/3 0/3 3/3 3/3 3/3 3/3 3/3 0/3 1/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 1/1 2/2 1/2 1/1 0/1 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 2/2 1/2 2/2 1/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 1/1 0/1 1/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 2/2 0/2 2/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 9/9 1/9 9/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 13/13 8/13 13/13 1/13 3/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/13 13/14 13/14 13/13 0/13 13/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 2/2 1/2 2/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 4/4 2/4 4/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 2/2 0/2 2/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 1/1 0/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 1/1 0/1 1/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 1/1 0/1 1/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 1/1 0/1 1/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 1/1 0/1 1/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 1/1 0/1 1/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 7/7 0/7 7/7 3/7 2/7 3/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 2/2 0/2 2/2 2/2 1/2 2/2 2/2 2/2 2/2 0/2
String index 7.8.2 0/1 0/1 1/1 0/1 1/1 1/1 1/1 0/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 1/1 0/1 1/1 1/1 0/1 1/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 1/1 0/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 1/1 0/1 1/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 1/1 0/1 1/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 9/9 0/9 9/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 4/4 0/4 4/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 1/1 0/1 1/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 1/1 0/1 1/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 1/1 0/1 1/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 1/1 0/1 1/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 1/1 0/1 1/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 1/1 0/1 1/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 1/1 0/1 1/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 1/1 0/1 1/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 1/1 0/1 1/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 1/1 0/1 1/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 13/13 0/13 13/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 2/2 0/2 2/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 9/9 0/9 9/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 2/2 0/2 2/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 1/1 0/1 1/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 1/1 0/1 1/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 1/1 0/1 1/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 1/1 0/1 1/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 1/1 0/1 1/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 2/2 0/2 2/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 1/1 0/1 1/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 6/6 0/6 6/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 1/1 0/1 1/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 8/8 0/8 8/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 10/10 0/10 10/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 11/11 0/11 11/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 6/6 3/6 6/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 5/5 2/5 5/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 1/1 0/1 1/1 0/1 0/1 0/1 1/1 1/1 1/1 0/1
Syntax 8.3 28/70 43/70 50/70 1/70 70/70 69/70 68/70 28/70 69/70 53/70 56/70 68/70 69/70 69/70 41/70 1/70
Objects (class instance) 8.4 1/1 0/1 1/1 0/1 1/1 1/1 1/1 0/1 1/1 1/1 0/1 1/1 1/1 1/1 1/1 0/1
Object properties and object parameter data 8.5 2/3 0/3 3/3 0/3 3/3 3/3 3/3 0/3 3/3 0/3 0/3 3/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 1/1 0/1 1/1 0/1 0/1 1/1 1/1 1/1 1/1 0/1
Constructors 8.7 3/3 0/3 2/3 0/3 3/3 3/3 3/3 0/3 3/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 2/2 0/2 2/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 1/1 0/1 1/1 0/1 0/1 1/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 1/1 0/1 1/1 0/1 0/1 1/1 1/1 1/1 1/1 0/1
This 8.11 1/1 1/1 1/1 0/1 1/1 1/1 1/1 0/1 1/1 0/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 2/2 0/2 2/2 0/2 0/2 2/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 1/1 0/1 1/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 1/1 0/1 1/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 2/2 0/2 2/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 2/2 0/2 1/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 2/2 0/2 2/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/5 5/10 5/10 5/5 2/5 7/10 2/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 2/2 0/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 1/1 0/1 1/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/1 1/2 1/2 1/1 0/1 1/2 0/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 1/1 0/1 1/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 1/1 0/1 1/1 0/1 0/1 1/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 1/1 0/1 1/1 0/1 0/1 1/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 2/2 0/2 2/2 1/2 0/2 1/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/1 1/2 1/2 1/1 0/1 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 5/5 0/5 5/5 5/5 5/5 5/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 4/4 3/4 0/4 4/4 0/4 0/4 2/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/2 2/3 1/3 2/2 1/2 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 1/2 2/2 2/2
Casting and object reference assignment 8.26.5 0/1 0/1 1/1 0/1 2/2 1/1 1/2 1/2 1/1 0/1 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/1 1/2 1/2 1/1 0/1 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/1 1/2 1/2 1/1 1/1 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/1 1/2 1/2 1/1 1/1 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 1/1 0/1 1/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 1/1 0/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 1/1 1/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 3/3 1/3 3/3 3/3 0/3 3/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/2 2/3 3/3 2/2 2/2 1/3 2/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 2/2 2/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 2/2 2/2 2/2 2/2 2/2 0/2
Delay control 9.4.1 2/2 2/2 2/2 1/2 4/4 2/2 4/4 4/4 2/2 2/2 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 3/3 5/5 5/5 3/3 3/3 2/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 1/1 0/1 1/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 1/1 0/1 1/1 0/1 0/1 1/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 1/1 0/1 1/1 1/1 0/1 1/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 7/7 3/7 7/7 7/7 7/7 7/7 7/7 7/7 3/7 2/7
Wait fork statement 9.6.1 1/1 0/1 1/1 0/1 1/1 1/1 1/1 0/1 1/1 1/1 0/1 1/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 2/2 0/2 2/2 2/2 1/2 2/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 1/1 0/1 1/1 1/1 0/1 1/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 4/4 0/4 4/4 0/4 0/4 4/4 4/4 4/4 0/4 0/4
Continuous assignments 10.3 1/1 1/1 0/1 1/1 1/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 2/2 1/2 2/2 2/2 2/2 2/2 2/2 2/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 1/1 0/1 1/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 1/1 1/1 1/1 1/1 0/1 1/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 1/1 1/1 1/1 1/1 0/1 1/1 1/1 1/1 0/1 0/1
Operators 11.3 6/6 6/6 6/6 2/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 1/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 10/11 11/11 11/11 11/11 6/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 34/34 13/34 34/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 4/4 2/4 4/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 24/24 12/24 24/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 16/16 8/16 16/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 39/39 8/39 32/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 18/18 2/18 8/18 0/18 18/18 18/18 8/18 0/18
Logical operators 11.4.7 24/24 12/24 24/24 10/24 24/24 24/24 24/24 24/24 24/24 8/24 18/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 15/15 9/15 15/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 14/14 6/14 12/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 3/3 2/3 3/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 3/3 2/3 3/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 5/5 3/5 5/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 2/2 0/2 2/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 3/3 2/3 3/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 2/2 1/2 2/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 4/4 2/4 4/4 2/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/5 5/6 5/6 5/5 3/5 6/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 3/3 0/3 3/3 2/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 12/12 8/12 12/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 5/5 2/5 5/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 4/4 2/4 3/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 3/3 0/3 3/3 2/3 1/4 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 2/2 1/2 2/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 3/3 0/3 3/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 2/2 1/2 2/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 1/1 0/1 0/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 1/1 0/1 1/1 1/1 0/1 1/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 3/3 3/3 3/3 0/3 3/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 1/1 1/1 1/1 0/1 1/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 1/1 1/1 1/1 0/1 1/1 1/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 1/1 0/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 1/1 0/1 1/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 1/1 0/1 1/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 1/1 0/1 1/1 0/1 1/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 1/1 0/1 1/1 0/1 1/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 1/1 0/1 1/1 1/1 1/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 4/4 0/4 4/4 2/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 1/1 0/1 0/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 2/2 0/2 1/2 2/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 1/1 0/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 2/2 3/3 2/3 2/2 0/2 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 3/3 0/3 2/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 1/1 0/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/1 1/2 1/2 1/1 0/1 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/4 4/5 1/5 4/4 4/4 4/5 4/5 4/4 4/4 1/5 1/5
Mailboxes 15.4 0/2 0/2 2/2 0/2 2/2 2/2 2/2 0/2 2/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 3/3 0/3 3/3 3/3 0/3 2/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 3/3 1/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 1/1 0/1 1/1 1/1 1/1 0/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 19/19 6/19 19/19 3/19 19/19 0/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 2/2 0/2 2/2 0/2 2/4 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 0/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 1/1 0/1 1/1 0/1 1/2 0/1 1/1 1/1 1/2 0/1
Expect statement 16.17 0/1 1/1 1/1 0/1 1/1 1/1 1/1 0/1 1/1 1/1 0/1 1/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 1/1 0/1 1/1 1/1 1/1 1/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 1/1 0/1 1/1 1/1 1/1 1/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 1/1 0/1 1/1 1/1 1/1 1/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/3 3/4 1/4 3/3 1/3 3/4 3/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/3 3/4 1/4 3/3 3/3 3/4 3/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 1/1 0/1 1/1 1/1 1/1 1/1 1/1 1/1 1/1 0/1
Distribution 18.5.4 0/1 0/1 0/1 0/1 2/2 1/1 1/2 1/2 1/1 1/1 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 1/1 0/1 1/1 1/1 1/1 1/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 1/1 0/1 1/1 1/1 1/1 1/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 4/4 0/4 4/4 4/4 4/4 4/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 1/1 0/1 1/1 1/1 1/1 1/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 1/1 0/1 1/1 1/1 1/1 1/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 1/1 0/1 1/1 1/1 0/1 1/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/1 1/2 1/2 1/1 1/1 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 1/1 0/1 1/1 1/1 1/1 1/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 1/1 0/1 1/1 1/1 1/1 1/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 1/1 0/1 1/1 1/1 0/1 1/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/1 1/2 1/2 1/1 1/1 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 2/2 0/2 2/2 1/2 2/2 2/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 2/2 0/2 2/2 2/2 2/2 2/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 2/2 0/2 2/2 2/2 2/2 2/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 1/1 2/2 1/2 1/1 1/1 2/2 2/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 3/3 0/3 3/3 3/3 1/3 3/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 1/1 0/1 1/1 0/1 0/1 1/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
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 1/1 1/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 0/1 0/1 1/1 0/1 1/1 1/1 1/1 1/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 2/2 2/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 1/1 1/1 1/1 1/1 1/1 0/1
Manually seeding randomize 18.15 0/1 1/1 1/1 0/1 1/1 1/1 1/1 0/1 1/1 0/1 0/1 1/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 2/2 0/2 2/2 2/2 0/2 2/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 2/2 0/2 2/2 0/2 2/2 2/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 1/1 0/1 1/1 0/1 1/1 1/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/2 2/4 2/4 2/2 0/2 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/1 1/2 1/2 1/1 0/1 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 1/1 0/1 1/1 0/1 1/1 1/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 2/2 0/2 2/2 0/2 2/2 2/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/2 2/3 1/3 2/2 0/2 2/3 2/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 1/1 0/1 1/1 0/1 1/1 1/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 3/3 0/3 3/3 1/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 3/3 0/3 3/3 3/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 3/3 0/3 3/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 4/4 0/4 3/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 5/5 3/5 5/5 0/5 4/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 2/2 0/2 1/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 22/22 0/22 22/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 4/4 0/4 4/4 0/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 4/4 0/4 4/4 4/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 16/16 6/16 16/16 0/16 16/16 0/16 16/16 16/16 6/16 0/16
Coverage system functions 20.14 0/1 0/1 0/1 0/1 1/1 1/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 8/8 0/8 1/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 6/6 0/6 6/6 2/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 17/17 0/17 15/17 14/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 2/2 0/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 2/2 0/2 1/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 2/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 3/3 2/3 3/3 2/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 8/8 5/6 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 15/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 2/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 4/4 6/6 4/6 4/4 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 2/2 5/5 5/5 2/2 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 1/1 0/1 1/1 0/1 0/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 1/1 0/1 1/1 1/1 1/1 1/1 1/1 0/1
Total tests passed 1000/1465 1011/1556 1166/1465 429/1556 1467/1618 1403/1556 1569/1618 1167/1618 1553/1556 589/1465 1220/1633 1040/1618 1385/1465 1261/1465 1253/1633 540/1618
Total tags passed 168/331 117/341 242/331 20/341 335/344 329/341 306/344 172/344 337/341 141/331 184/344 169/344 304/331 302/331 240/344 47/344
Total time elapsed 8s 8s 6s 5s 52s 24s 702s 657s 2331s 122s 920s 574s 4s 433s 486s 46s
User time elapsed 6s 5s 4s 3s 42s 18s 665s 434s 2304s 107s 846s 541s 3s 416s 430s 41s
System time elapsed 2s 3s 2s 1s 10s 6s 37s 223s 27s 15s 74s 33s 1s 17s 56s 5s
Maximum ram usage 14 MB 14 MB 14 MB 14 MB 87 MB 47 MB 198 MB 553 MB 294 MB 23 MB 183 MB 406 MB 14 MB 117 MB 198 MB 45 MB
Average throughput passed for inputs > 1KiB 217 KiB/s 176 KiB/s 466 KiB/s 0 KiB/s 18 KiB/s 396 KiB/s 1 KiB/s 1 KiB/s 0 KiB/s 0 KiB/s 1 KiB/s 1 KiB/s 928 KiB/s 182 KiB/s 6 KiB/s 11 KiB/s

cores

Icarus moore moore_parse Odin Slang Slang_parse Surelog Sv2v_zachjs sv_parser tree_sitter_verilog UhdmVerilator UhdmYosys Verible VeribleExtractor Verilator Yosys
Ariane RISC-V core ariane 0/1 0/1 0/1 0/1 0/1 0/1 1/1 0/1 1/1 0/1 0/1 0/1 1/1 1/1 1/1 0/1
BlackParrot RISC-V core black-parrot 0/7 0/7 0/7 0/7 7/7 7/7 7/7 0/7 0/7 0/7 0/7 0/7 0/7 0/7 4/7 0/7
Lowrisc chip with Ibex core earlgrey 0/1 0/1 0/1 0/1 0/1 0/1 1/1 0/1 0/1 0/1 0/1 0/1 1/1 1/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 1/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 0/1 1/1 1/1 1/1 1/1 0/1 0/1 1/1 1/1 1/1 1/1 0/1
RSD RISC-V core rsd 0/1 0/1 0/1 0/1 0/1 0/1 1/1 1/1 1/1 0/1 0/1 0/1 1/1 1/1 1/1 0/1
SCR1 RISC-V core scr1 0/1 0/1 0/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1 0/1 0/1 1/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 1/1 0/1 0/1 0/1 1/1 0/1 1/1 0/1
NoC router and fabric TNoC 0/1 0/1 0/1 0/1 1/1 1/1 1/1 0/1 1/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
Total tests passed 0/15 0/15 1/15 0/15 10/15 11/15 15/15 5/15 6/15 0/15 0/15 1/15 8/15 6/15 9/15 0/15
Total tags passed 0/9 0/9 1/9 0/9 4/9 5/9 9/9 5/9 6/9 0/9 0/9 1/9 8/9 6/9 5/9 0/9
Total time elapsed 0s 2s 2s 0s 329s 3s 1195s 1475s 271s 51s 1768s 354s 2s 31s 264s 0s
User time elapsed 0s 1s 1s 0s 327s 2s 1107s 1336s 270s 47s 1682s 341s 2s 30s 252s 0s
System time elapsed 0s 0s 0s 0s 2s 1s 88s 139s 1s 4s 87s 12s 0s 1s 12s 0s
Maximum ram usage 22 MB 153 MB 153 MB 14 MB 980 MB 199 MB 14649 MB 31988 MB 1345 MB 85 MB 8943 MB 6333 MB 69 MB 526 MB 8538 MB 14 MB
Average throughput passed for inputs > 1KiB 0 KiB/s 0 KiB/s 2962 KiB/s 0 KiB/s 4824 KiB/s 7300 KiB/s 25 KiB/s 189 KiB/s 156 KiB/s 0 KiB/s 0 KiB/s 70 KiB/s 9856 KiB/s 528 KiB/s 100 KiB/s 0 KiB/s

imported

Icarus moore moore_parse Odin Slang Slang_parse Surelog Sv2v_zachjs sv_parser tree_sitter_verilog UhdmVerilator UhdmYosys Verible VeribleExtractor Verilator Yosys
Tests imported from Basejump STL basejump 0/342 311/342 323/342 0/342 341/342 341/342 339/342 341/342 342/342 0/342 334/342 333/342 41/342 41/342 341/342 0/342
Tests imported from hdlConvertor hdlconv 16/18 17/18 18/18 9/18 18/18 18/18 18/18 17/18 18/18 12/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 25/25 8/25 25/25 14/25 25/25 23/25 24/25 24/25 10/25 2/25
Tests imported from hdlConvertor (std2017) hdlconv_std2017 37/225 41/225 95/225 2/225 221/225 221/225 216/225 65/225 225/225 123/225 220/225 201/225 189/225 188/225 68/225 27/225
Tests imported from ivtest ivtest 2114/2153 747/2153 1602/2153 349/2153 2151/2153 2009/2153 2006/2153 1700/2153 2013/2153 147/2153 1439/2153 838/2153 1914/2153 1914/2153 1747/2153 384/2153
projf-explore 27/237 31/237 212/237 0/237 192/237 192/237 237/237 237/237 237/237 109/237 237/237 237/237 237/237 237/237 32/237 237/237
Tests imported from utd-SystemVerilog utd-sv 120/294 15/294 291/294 102/294 294/294 294/294 292/294 289/294 294/294 216/294 292/294 291/294 294/294 294/294 125/294 289/294
Tests imported from Yosys yosys 199/215 63/215 180/215 91/215 215/215 209/215 214/215 202/215 214/215 181/215 192/215 200/215 208/215 208/215 202/215 182/215
Total tests passed 2515/3509 1232/3509 2735/3509 553/3509 3457/3509 3309/3509 3347/3509 2859/3509 3368/3509 802/3509 2757/3509 2141/3509 2925/3509 2924/3509 2543/3509 1134/3509
Total tags passed 0/8 0/8 1/8 0/8 4/8 3/8 3/8 1/8 6/8 0/8 3/8 2/8 3/8 3/8 1/8 1/8
Total time elapsed 21s 115s 13s 45s 13s 12s 1941s 85s 182s 310s 3255s 1796s 12s 37s 1562s 60s
User time elapsed 16s 102s 8s 41s 9s 8s 1877s 41s 168s 275s 3044s 1732s 9s 30s 1363s 54s
System time elapsed 5s 13s 5s 4s 4s 4s 64s 43s 14s 35s 210s 64s 3s 7s 199s 6s
Maximum ram usage 20 MB 3501 MB 53 MB 160 MB 26 MB 24 MB 2784 MB 662 MB 723 MB 68 MB 3109 MB 2806 MB 26 MB 26 MB 255 MB 515 MB
Average throughput passed for inputs > 1KiB 510 KiB/s 1933 KiB/s 2828 KiB/s 326 KiB/s 2790 KiB/s 3062 KiB/s 16 KiB/s 334 KiB/s 135 KiB/s 88 KiB/s 13 KiB/s 26 KiB/s 1721 KiB/s 498 KiB/s 28 KiB/s 133 KiB/s
Download a summary in csv