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 14/148 0/134 0/134 0/134 137/137 134/134 136/137 3/137 134/134 0/134 22/148 11/137 110/134 0/134 14/148 3/137
uvm_agent examples uvm-agents 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 0/3 0/3 0/3
UVM tests using assertions uvm-assertions 11/37 0/26 0/26 0/26 26/26 26/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 36/36 36/36 36/36 0/36 36/36 0/36 8/36 8/36 28/36 0/36 0/36 0/36
uvm-random 3/66 0/63 0/63 0/63 66/66 63/63 65/66 3/66 63/63 0/63 3/66 3/66 61/63 0/63 3/66 3/66
UVM Prerequisites uvm-req 209/313 205/300 237/285 18/300 313/313 299/300 304/313 216/313 298/300 2/285 247/313 244/313 279/285 279/285 294/313 98/313
uvm_scoreboard examples uvm-scoreboards 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 0/3 0/3 0/3
White space 5.3 7/7 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 7/7 7/7 1/1 0/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
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 1/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 0/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 248/248 243/248 243/248 246/248 246/248 248/248 98/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 89/90 76/90 60/66 1/90 90/90 90/90 90/90 90/90 90/90 0/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 64/64 64/64 64/64 64/64 64/64 2/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 1/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 0/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 0/4 3/4 4/4 4/4 4/4 4/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 1/4 3/3 3/3 0/3 4/4 3/3 4/4 2/4 3/3 0/3 2/4 3/4 3/3 3/3 4/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 0/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 0/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 4/4 1/1 1/1 0/1 4/4 1/1 1/4 1/4 1/1 0/1 2/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 0/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 0/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 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 0/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 0/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 0/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 0/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 0/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 0/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 1/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 0/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 0/27 27/27 27/27 27/27 27/27 27/27 24/27
Real, shortreal, and realtime data types 6.12 4/6 0/3 3/3 0/3 6/6 3/3 4/6 3/6 3/3 0/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 1/1
Chandle data type 6.14 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
Class 6.15 20/41 31/41 37/41 0/41 41/41 41/41 41/41 21/41 41/41 0/41 30/41 40/41 41/41 41/41 41/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 0/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 0/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 0/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 0/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 0/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 0/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 0/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 0/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 0/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 0/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 0/1 0/1 1/1 1/1 1/1 1/1 0/1
User-defined types 6.18 22/30 27/27 27/27 0/27 30/30 27/27 29/30 22/30 27/27 0/27 23/30 28/30 27/27 27/27 30/30 18/30
Enumerations 6.19 5/5 2/2 2/2 0/2 5/5 2/2 2/5 2/5 2/2 0/2 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 0/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 0/2 2/2 2/2 2/2 2/2 2/2 0/2
Type checking 6.19.3 2/2 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 2/2 1/2
Enumerated types in numerical expressions 6.19.4 2/3 2/2 2/2 0/2 3/3 2/2 2/3 2/3 2/2 0/2 2/3 2/3 2/2 2/2 3/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 0/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 0/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 0/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 0/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 0/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 0/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 0/6 6/6 6/6 6/6 6/6 6/6 5/6
Type parameters 6.20.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
Local parameters (localparam) 6.20.4 5/5 5/5 5/5 1/5 5/5 5/5 5/5 5/5 5/5 0/5 5/5 5/5 5/5 5/5 5/5 4/5
Specify parameters 6.20.5 1/2 0/1 0/1 0/1 2/2 1/1 1/2 1/2 1/1 0/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 0/2 1/2 1/2 1/2 1/2 2/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 0/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 0/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 0/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 1/2 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 0/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 0/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 0/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 0/13 3/13 1/13 13/13 13/13 13/13 0/13
Operations on arrays 7.4.3 8/14 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 14/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 0/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 0/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 0/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 0/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 0/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 0/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 0/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 0/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 2/13 0/13 5/13 0/13 13/13 13/13 13/13 0/13 13/13 0/13 1/13 1/13 13/13 13/13 13/13 0/13
Queue operators 7.10.1 1/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 8/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 0/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 0/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 69/70 28/70 69/70 1/70 56/70 66/70 69/70 69/70 67/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 0/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 3/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 1/3 3/3 3/3 3/3 0/3
Typed constructor calls 8.8 1/2 0/2 0/2 0/2 2/2 2/2 2/2 0/2 2/2 0/2 0/2 2/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 1/1 1/1 1/1 1/1 0/1
Overridden members 8.14 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
Super 8.15 2/2 0/2 0/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
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 2/2 1/2 1/2 1/2 0/2
Data hiding and encapsulation 8.18 7/10 2/5 5/5 0/5 10/10 5/5 5/10 5/10 5/5 0/5 7/10 5/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 0/2 2/2 2/2 2/2 2/2 2/2 0/2
Virtual methods 8.20 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
Abstract classes and pure virtual methods 8.21 1/2 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 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 1/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 0/2 0/2 2/2 2/2 2/2 2/2 0/2
Class scope resolution operator for parameterized classes 8.25.1 1/2 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 2/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 0/5 5/5 5/5 5/5 5/5 5/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 3/4 4/4 4/4 4/4 0/4
Type access 8.26.3 1/3 0/2 2/2 0/2 3/3 2/2 2/3 1/3 2/2 0/2 2/3 2/3 2/2 2/2 3/3 1/3
Type usage restrictions 8.26.4 2/2 2/2 1/2 2/2 2/2 1/2 2/2 2/2
Casting and object reference assignment 8.26.5 1/2 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 2/2 1/2
Method name conflict resolution 8.26.6.1 1/2 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 1/2 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
Diamond relationship 8.26.6.3 1/2 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
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 1/1 1/1 1/1 1/1 0/1
Typedef class 8.27 1/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 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 0/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 0/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 0/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 0/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 0/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 0/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 0/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 0/3 0/3 3/3 3/3 3/3 3/3 0/3
Statement block start and finish times 9.3.3 3/3 0/2 1/2 0/2 3/3 2/2 2/3 3/3 2/2 0/2 1/3 2/3 2/2 2/2 3/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 0/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 0/2 2/2 2/2 2/2 2/2 2/2 0/2
Delay control 9.4.1 4/4 2/2 2/2 1/2 4/4 2/2 4/4 4/4 2/2 0/2 2/4 2/4 2/2 2/2 4/4 2/4
Event control 9.4.2 4/5 3/3 3/3 2/3 5/5 3/3 5/5 5/5 3/3 0/3 2/5 3/5 3/3 3/3 5/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 0/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 0/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 0/1 0/1 1/1 1/1 1/1 1/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 0/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 0/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 0/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 0/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 0/4 4/4 4/4 0/4 0/4
Continuous assignments 10.3 1/1 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 0/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 0/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 0/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 0/24 24/24 24/24 0/24 0/24 16/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 0/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 0/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 0/1 0/1 1/1 1/1 1/1 1/1 0/1
Operators 11.3 6/6 6/6 6/6 2/6 6/6 6/6 6/6 6/6 6/6 0/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 1/11 1/11 1/11 11/11 11/11 11/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 0/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 0/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 0/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 0/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 0/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 0/18 5/18 0/18 18/18 18/18 5/18 0/18
Logical operators 11.4.7 8/24 12/24 24/24 10/24 24/24 24/24 24/24 24/24 24/24 0/24 18/24 6/24 24/24 24/24 24/24 4/24
Bitwise operators 11.4.8 9/15 15/15 15/15 10/15 15/15 15/15 15/15 15/15 15/15 0/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 0/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 0/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 0/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 0/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 0/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 0/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 0/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 0/4 4/4 2/4 4/4 4/4 4/4 0/4
Streaming concatenation as an assignment target (unpack) 11.4.14.3 1/6 0/5 5/5 0/5 6/6 5/5 5/6 5/6 5/5 0/5 6/6 2/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 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 12/12 0/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 0/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 0/4 3/4 2/4 4/4 4/4 4/4 2/4
Tagged union expressions and member access 11.9 1/4 0/3 0/3 0/3 3/3 3/3 3/3 0/3 3/3 0/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 0/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 0/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 0/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 0/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 0/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 0/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 0/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 0/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 0/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 0/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 0/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 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 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 0/1 1/1 0/1 1/1 1/1 1/1 0/1
Jump statements 12.8 4/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 0/2 2/2 2/2 2/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 3/3 2/2 2/2 0/2 3/3 2/2 3/3 3/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/2 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 2/2 1/2
Clocking block declaration 14.3 1/5 0/4 0/4 0/4 5/5 4/4 4/5 1/5 4/4 0/4 4/5 4/5 4/4 4/4 5/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 2/2 2/2 2/2 2/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 0/3 0/3 2/3 3/3 3/3 3/3 0/3
Overview 16.2 2/3 3/3 3/3 0/3 3/3 3/3 3/3 3/3 3/3 0/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 0/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 0/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 19/19 6/19 19/19 0/19 19/19 19/19 16/19 16/19 10/19 0/19
Local variables 16.10 2/4 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 0/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 0/1 1/1 1/1 1/1 1/1 1/1 0/1
Disable iff resolution 16.15 1/2 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 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 1/1 0/1 1/1 0/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 0/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 0/1 1/1 1/1 1/1 1/1 1/1 0/1
External constraint blocks 18.5.1 1/4 1/3 1/3 0/3 4/4 3/3 3/4 1/4 3/3 0/3 3/4 3/4 2/3 2/3 2/4 1/4
Constraint inheritance 18.5.2 1/4 0/3 3/3 0/3 4/4 3/3 3/4 1/4 3/3 0/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 0/1 1/1 1/1 1/1 1/1 1/1 0/1
Distribution 18.5.4 1/2 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
Uniqueness constraints 18.5.5 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
Implication 18.5.6 0/1 0/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
if–else constraints 18.5.7 0/4 0/4 0/4 0/4 4/4 4/4 4/4 0/4 4/4 0/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 0/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 0/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 0/1 0/1 1/1 1/1 1/1 1/1 0/1
Variable ordering 18.5.10 1/2 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
Static constraint blocks 18.5.11 0/1 0/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
Functions in constraints 18.5.12 0/1 0/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
Constraint guards 18.5.13 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
Soft constraints 18.5.14 1/2 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
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 0/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 0/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 0/2 2/2 2/2 2/2 2/2 2/2 0/2
Behavior of randomization methods 18.6.3 1/2 0/1 1/1 0/1 2/2 1/1 2/2 1/2 1/1 0/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 0/3 1/3 1/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 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 0/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 1/1 1/1 1/1 0/1 1/1 0/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 0/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 0/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 0/2 0/2 0/2 2/2 2/2 2/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 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 1/1 0/1 1/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1
if–else production statements 18.17.2 2/4 0/2 0/2 0/2 4/4 2/2 2/4 2/4 2/2 0/2 0/4 0/4 2/2 2/2 2/4 2/4
Case production statements 18.17.3 1/2 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 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 2/2 0/2 2/2 0/2 0/2 0/2 2/2 2/2 0/2 0/2
Aborting productions—break and return 18.17.6 1/3 0/2 0/2 0/2 3/3 2/2 2/3 1/3 2/2 0/2 0/3 0/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 0/1 0/1 1/1 1/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 3/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 2/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 16/16 16/16 16/16 10/16 0/16
Coverage system functions 20.14 0/1 0/1 0/1 0/1 1/1 1/1 0/1 0/1 1/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 8/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 13/17 9/17 17/17 0/17 17/17 17/17 17/17 17/17 17/17 0/17 15/17 11/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 1/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 1/3 3/3 3/3 3/3 3/3 3/3 2/3
include 22.4 8/8 8/8 6/6 1/8 8/8 8/8 8/8 8/8 8/8 0/6 8/8 8/8 5/6 5/6 8/8 8/8
define 22.5.1 28/29 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 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 2/2 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 3/3 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 6/6 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 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 5/5 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 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 5/6 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 2/7 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 0/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 0/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 0/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 1129/1619 1011/1542 1166/1451 429/1542 1604/1604 1540/1542 1555/1604 1168/1604 1540/1542 257/1451 1206/1619 1052/1604 1373/1451 1262/1451 1362/1619 542/1604
Total tags passed 171/344 117/341 242/331 20/341 344/344 338/341 307/344 173/344 338/341 2/331 179/344 171/344 305/331 303/331 276/344 48/344
Total time elapsed 14s 8s 6s 4s 49s 23s 958s 859s 2770s 112s 916s 989s 4s 374s 411s 58s
User time elapsed 9s 5s 4s 3s 39s 17s 922s 601s 2738s 98s 840s 956s 3s 360s 352s 52s
System time elapsed 4s 3s 2s 1s 10s 6s 35s 257s 33s 14s 76s 33s 1s 14s 58s 7s
Maximum ram usage 14 MB 14 MB 14 MB 14 MB 96 MB 49 MB 204 MB 550 MB 291 MB 15 MB 183 MB 172 MB 14 MB 96 MB 125 MB 48 MB
Average throughput passed for inputs > 1KiB 213 KiB/s 156 KiB/s 387 KiB/s 0 KiB/s 9 KiB/s 22 KiB/s 1 KiB/s 1 KiB/s 0 KiB/s 0 KiB/s 1 KiB/s 0 KiB/s 962 KiB/s 191 KiB/s 5 KiB/s 8 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 1/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/5 0/5 0/5 0/5 5/5 5/5 5/5 5/5 5/5 0/5 0/5 0/5 0/5 0/5 5/5 0/5
Lowrisc chip with Ibex core earlgrey 0/1 0/1 0/1 0/1 1/1 1/1 0/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 1/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 1/1 1/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 1/1 1/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/13 0/13 1/13 0/13 12/13 13/13 12/13 10/13 11/13 0/13 0/13 1/13 8/13 6/13 10/13 0/13
Total tags passed 0/9 0/9 1/9 0/9 8/9 9/9 8/9 6/9 7/9 0/9 0/9 1/9 8/9 6/9 6/9 0/9
Total time elapsed 0s 2s 2s 0s 14s 2s 1268s 621s 289s 1s 1450s 698s 2s 16s 206s 0s
User time elapsed 0s 1s 1s 0s 12s 2s 1188s 581s 288s 1s 1383s 654s 2s 15s 196s 0s
System time elapsed 0s 0s 0s 0s 2s 1s 80s 40s 1s 0s 66s 44s 0s 1s 10s 0s
Maximum ram usage 22 MB 153 MB 153 MB 14 MB 1306 MB 201 MB 16918 MB 2973 MB 1341 MB 16 MB 7593 MB 24400 MB 67 MB 129 MB 7957 MB 17 MB
Average throughput passed for inputs > 1KiB 0 KiB/s 0 KiB/s 2953 KiB/s 0 KiB/s 1911 KiB/s 11879 KiB/s 15 KiB/s 22 KiB/s 67 KiB/s 0 KiB/s 0 KiB/s 57 KiB/s 10380 KiB/s 1202 KiB/s 146 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/353 327/353 345/353 0/353 353/353 353/353 345/353 346/353 353/353 0/353 341/353 340/353 44/353 44/353 348/353 0/353
Tests imported from hdlConvertor hdlconv 16/18 17/18 18/18 9/18 18/18 18/18 18/18 17/18 18/18 0/18 18/18 18/18 18/18 18/18 18/18 13/18
Tests imported from hdlConvertor (std2012) hdlconv_std2012 3/22 7/22 13/22 0/22 22/22 22/22 22/22 7/22 22/22 0/22 22/22 21/22 22/22 22/22 19/22 2/22
Tests imported from hdlConvertor (std2017) hdlconv_std2017 39/173 39/173 80/173 2/173 173/173 173/173 168/173 57/173 173/173 0/173 169/173 158/173 144/173 144/173 93/173 26/173
Tests imported from ivtest ivtest 2105/2133 745/2133 1591/2133 346/2133 2133/2133 1993/2133 1995/2133 1690/2133 1999/2133 166/2133 1435/2133 818/2133 1915/2133 1915/2133 1894/2133 384/2133
projf-explore 12/12 11/12 12/12 0/12 12/12 12/12 12/12 12/12 12/12 0/12 12/12 12/12 12/12 12/12 12/12 12/12
Tests imported from utd-SystemVerilog utd-sv 120/127 12/127 125/127 98/127 127/127 127/127 127/127 124/127 127/127 0/127 126/127 127/127 127/127 127/127 126/127 124/127
Tests imported from Yosys yosys 199/215 63/215 180/215 91/215 215/215 209/215 215/215 202/215 214/215 9/215 192/215 212/215 208/215 208/215 202/215 182/215
Total tests passed 2494/3053 1221/3053 2364/3053 546/3053 3053/3053 2907/3053 2902/3053 2455/3053 2918/3053 175/3053 2315/3053 1706/3053 2490/3053 2490/3053 2712/3053 743/3053
Total tags passed 1/8 0/8 2/8 0/8 8/8 6/8 5/8 1/8 6/8 0/8 3/8 3/8 4/8 4/8 2/8 1/8
Total time elapsed 63s 112s 11s 43s 13s 12s 1766s 103s 204s 235s 3056s 1866s 10s 31s 1059s 68s
User time elapsed 51s 100s 7s 40s 8s 8s 1707s 57s 188s 207s 2855s 1800s 8s 26s 855s 60s
System time elapsed 12s 12s 4s 3s 5s 4s 58s 46s 16s 28s 201s 67s 2s 5s 204s 8s
Maximum ram usage 20 MB 3569 MB 53 MB 160 MB 25 MB 25 MB 2788 MB 652 MB 722 MB 16 MB 3109 MB 2803 MB 23 MB 22 MB 127 MB 519 MB
Average throughput passed for inputs > 1KiB 155 KiB/s 2017 KiB/s 3004 KiB/s 309 KiB/s 2664 KiB/s 2988 KiB/s 16 KiB/s 242 KiB/s 107 KiB/s 29 KiB/s 13 KiB/s 25 KiB/s 1410 KiB/s 452 KiB/s 41 KiB/s 25 KiB/s
Download a summary in csv

TEST DETAILS