Advanced filters
- Tool
-
- Coverage
-
%%
- Type
-
Icarus | moore | moore_parse | Odin | Slang | Slang_parse | Surelog | Sv2v_zachjs | sv_parser | SynligYosys | tree_sitter_verilog | UhdmVerilator | 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 | 3/137 | 0/134 | 22/148 | 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 | 0/26 | 11/37 | 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 | 0/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 | 3/66 | 0/63 | 3/66 | 61/63 | 0/63 | 3/66 | 3/66 | |
UVM Prerequisites | uvm-req | 213/313 | 204/299 | 236/284 | 17/299 | 313/313 | 299/299 | 302/313 | 216/313 | 298/299 | 246/313 | 251/284 | 247/313 | 279/284 | 279/284 | 301/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 | 7/7 | 1/1 | 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 | 7/7 | 1/1 | 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 | 243/248 | 2/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 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 |
Compiler directives | 5.6.4 | 90/90 | 76/90 | 60/66 | 1/90 | 90/90 | 90/90 | 90/90 | 90/90 | 90/90 | 90/90 | 65/66 | 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 | 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 | 4/4 | 4/4 | 3/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 | 1/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 | 3/4 | 3/3 | 2/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 | 2/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 | 5/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 | 1/1 | 0/1 | 1/1 | 1/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 | 1/4 | 1/1 | 2/4 | 1/1 | 1/1 | 2/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 | 2/2 | 1/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 | 4/4 | 0/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 | 1/1 | 0/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 | 1/2 | 2/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 | 6/6 | 0/3 | 3/3 | 0/3 | 6/6 | 3/3 | 3/6 | 3/6 | 3/3 | 4/6 | 3/3 | 6/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 | 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 | 41/41 | 21/41 | 41/41 | 41/41 | 37/41 | 30/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 | 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 | 1/1 | 0/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 | 1/1 | 0/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 | 1/1 | 0/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 | 1/1 | 0/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 | 1/1 | 0/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 | 1/1 | 0/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 | 1/1 | 0/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 | 28/30 | 24/27 | 23/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 | 2/5 | 2/2 | 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 | 2/2 | 1/1 | 1/1 | 0/1 | 2/2 | 1/1 | 1/2 | 1/2 | 1/1 | 1/2 | 1/1 | 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 | 2/3 | 2/2 | 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 | 1/1 | 1/1 | 1/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 | 1/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 | 1/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 | 1/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 | 1/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 | 1/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 | 6/6 | 5/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 | 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/2 | 0/1 | 0/1 | 0/1 | 2/2 | 1/1 | 1/2 | 1/2 | 1/1 | 1/2 | 1/1 | 2/2 | 1/1 | 1/1 | 2/2 | 1/2 |
Const constants | 6.20.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 |
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 | 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 | 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 | 2/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 | 1/2 | 2/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 | 4/5 | 3/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 | 3/3 | 1/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 | 1/2 | 0/1 | 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 | 1/2 | 2/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 | 0/1 | 1/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 | 2/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 | 1/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 | 6/9 | 9/9 | 9/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 | 7/13 | 3/13 | 13/13 | 13/13 | 13/13 | 0/13 |
Operations on arrays | 7.4.3 | 10/14 | 13/13 | 13/13 | 0/13 | 14/14 | 13/13 | 13/14 | 13/14 | 13/13 | 1/14 | 7/13 | 13/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 | 1/2 | 2/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 | 2/4 | 4/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 | 0/2 | 2/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 | 1/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 | 0/1 | 1/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 | 0/1 | 1/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 | 3/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 | 2/2 | 0/2 | 2/2 | 2/2 | 2/2 | 1/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 | 1/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 | 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 | 2/13 | 0/13 | 5/13 | 0/13 | 13/13 | 13/13 | 13/13 | 0/13 | 13/13 | 1/13 | 10/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 | 1/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 | 1/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 | 2/6 | 0/6 | 6/6 | 6/6 | 6/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 | 5/8 | 8/8 | 8/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 | 8/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 | 9/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 | 5/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 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 |
Syntax | 8.3 | 28/70 | 42/69 | 49/69 | 0/69 | 70/70 | 69/69 | 69/70 | 28/70 | 69/69 | 67/70 | 54/69 | 56/70 | 69/69 | 69/69 | 69/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 | 1/1 | 0/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 | 2/3 | 0/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 | 0/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 | 1/3 | 3/3 | 0/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 | 2/2 | 1/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 | 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 | 1/1 | 0/1 | 1/1 | 1/1 | 1/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 | 1/1 | 0/1 | 1/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 | 2/2 | 0/2 | 2/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 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/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 | 1/1 | 1/1 | 0/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 | 1/2 | 0/2 | 0/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 | 2/2 | 1/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 | 2/2 | 2/2 | 0/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 | 5/10 | 2/5 | 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 | 2/2 | 0/2 | 2/2 | 2/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 | 1/1 | 0/1 | 0/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 | 1/2 | 0/1 | 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 | 1/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 | 1/1 | 1/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 | 1/1 | 0/1 | 1/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 | 2/2 | 0/2 | 2/2 | 0/2 | 2/2 | 0/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 | 1/2 | 1/1 | 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 | 5/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 | 3/4 | 1/4 | 0/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 | 2/3 | 1/2 | 2/3 | 2/2 | 2/2 | 3/3 | 1/3 |
Type usage restrictions | 8.26.4 | 2/2 | 2/2 | 1/2 | 2/2 | 1/2 | 2/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 | 1/2 | 1/1 | 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 | 1/2 | 0/1 | 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 | 1/2 | 1/1 | 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 | 1/2 | 1/1 | 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 | 1/1 | 0/1 | 0/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 | 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 | 3/3 | 0/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 | 2/3 | 2/2 | 1/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 | 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 | 4/4 | 2/2 | 2/2 | 1/2 | 4/4 | 2/2 | 4/4 | 4/4 | 2/2 | 2/4 | 2/2 | 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 | 3/5 | 3/3 | 2/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 | 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 | 1/1 | 1/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 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/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 | 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 | 1/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 | 2/2 | 0/2 | 2/2 | 2/2 | 2/2 | 1/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 | 1/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 | 4/4 | 0/4 | 4/4 | 0/4 | 0/4 | 0/4 | 4/4 | 4/4 | 4/4 | 0/4 |
Continuous assignments | 10.3 | 1/1 | 1/1 | 0/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 | 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 | 1/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 | 1/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 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/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 | 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 | 1/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 | 11/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 | 33/34 | 34/34 | 34/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 | 4/4 | 4/4 | 4/4 | 4/4 | 2/4 |
Arithmetic operators | 11.4.3 | 24/24 | 20/24 | 24/24 | 3/24 | 24/24 | 24/24 | 24/24 | 24/24 | 24/24 | 24/24 | 24/24 | 24/24 | 24/24 | 24/24 | 24/24 | 12/24 |
Relational operators | 11.4.4 | 16/16 | 16/16 | 16/16 | 4/16 | 16/16 | 16/16 | 16/16 | 16/16 | 16/16 | 16/16 | 16/16 | 16/16 | 16/16 | 16/16 | 16/16 | 8/16 |
Equality operators | 11.4.5 | 39/39 | 39/39 | 39/39 | 3/39 | 39/39 | 39/39 | 39/39 | 39/39 | 39/39 | 38/39 | 39/39 | 32/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 | 18/18 | 5/18 | 18/18 | 18/18 | 5/18 | 0/18 |
Logical operators | 11.4.7 | 24/24 | 12/24 | 24/24 | 2/24 | 24/24 | 24/24 | 24/24 | 24/24 | 24/24 | 18/24 | 24/24 | 18/24 | 24/24 | 24/24 | 24/24 | 4/24 |
Bitwise operators | 11.4.8 | 15/15 | 15/15 | 15/15 | 4/15 | 15/15 | 15/15 | 15/15 | 15/15 | 15/15 | 15/15 | 15/15 | 15/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 | 2/14 | 14/14 | 14/14 | 14/14 | 14/14 | 14/14 | 10/14 | 14/14 | 12/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 | 3/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 | 3/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 | 5/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 | 2/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 | 3/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 | 2/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 | 4/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 | 3/6 | 5/5 | 6/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 | 2/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 | 12/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 | 3/5 | 2/5 | 5/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 | 4/4 | 3/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 | 3/3 | 1/4 | 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 | 2/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 | 3/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 | 2/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 | 1/1 | 1/1 | 0/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 | 1/1 | 0/1 | 1/1 | 1/1 | 1/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 | 3/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 | 1/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 | 1/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 | 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 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 |
The foreach-loop | 12.7.3 | 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 |
The while-loop | 12.7.4 | 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 |
The do...while-loop | 12.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 |
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 | 1/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 | 2/4 | 3/4 | 4/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 | 1/1 | 0/1 | 0/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 | 1/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 | 1/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 | 3/3 | 2/2 | 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 | 3/3 | 2/3 | 3/3 | 3/3 | 3/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 | 1/1 | 0/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 | 1/2 | 1/1 | 1/2 | 1/1 | 1/1 | 1/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 | 4/5 | 4/4 | 4/5 | 4/4 | 4/4 | 4/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 | 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 | 2/3 | 3/3 | 0/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 | 3/3 | 3/3 | 1/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 | 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 | 19/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 | 1/2 | 2/4 | 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 | 1/2 | 0/1 | 0/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/2 | 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 | 1/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 | 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 | 1/4 | 1/3 | 1/3 | 0/3 | 4/4 | 3/3 | 3/4 | 1/4 | 3/3 | 3/4 | 1/3 | 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 | 3/4 | 3/3 | 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 | 1/2 | 0/1 | 0/1 | 0/1 | 2/2 | 1/1 | 1/2 | 1/2 | 1/1 | 1/2 | 1/1 | 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 | 1/1 | 0/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 | 1/2 | 1/1 | 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 | 1/1 | 0/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 | 1/2 | 1/1 | 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 | 2/2 | 1/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 | 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 | 2/2 | 1/1 | 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 | 1/3 | 3/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 | 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 | 1/1 | 1/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 | 1/1 | 0/1 | 0/1 | 1/1 | 1/1 | 1/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 | 2/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/4 | 0/2 | 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 | 1/2 | 0/1 | 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/3 | 0/2 | 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 | 1/3 | 3/3 | 3/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 | 3/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 | 3/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 | 1/4 | 4/4 | 3/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 | 3/5 | 5/5 | 4/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 | 2/2 | 1/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 | 1/22 | 22/22 | 22/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 | 4/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 | 4/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 | 16/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 | 8/8 | 1/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 | 6/6 | 6/6 | 6/6 | 6/6 | 6/6 | 6/6 | 0/6 |
File input/output system tasks and system functions | 21.3 | 15/17 | 9/17 | 17/17 | 0/17 | 17/17 | 17/17 | 17/17 | 17/17 | 17/17 | 11/17 | 17/17 | 15/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 | 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 | 2/2 | 0/2 | 2/2 | 1/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 | 2/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 | 3/3 | 2/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 | 8/8 | 6/6 | 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 | 6/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 | 7/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 | 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 | 1/1 | 1/1 | 0/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 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 |
Total tests passed | 1168/1619 | 1010/1541 | 1165/1450 | 360/1541 | 1604/1604 | 1540/1541 | 1553/1604 | 1171/1604 | 1540/1541 | 1134/1604 | 934/1450 | 1206/1619 | 1373/1450 | 1262/1450 | 1371/1619 | 542/1604 | |
Total tags passed | 181/344 | 117/341 | 242/331 | 20/341 | 344/344 | 340/341 | 306/344 | 175/344 | 339/341 | 172/344 | 225/331 | 179/344 | 306/331 | 304/331 | 279/344 | 48/344 | |
Total time elapsed | 15s | 10s | 7s | 7s | 42s | 20s | 964s | 1553s | 2814s | 2035s | 105s | 807s | 6s | 359s | 1117s | 51s | |
User time elapsed | 11s | 7s | 5s | 5s | 33s | 15s | 932s | 822s | 2785s | 1923s | 94s | 742s | 4s | 345s | 1005s | 45s | |
System time elapsed | 4s | 3s | 2s | 2s | 9s | 5s | 31s | 731s | 29s | 111s | 12s | 64s | 1s | 13s | 112s | 6s | |
Maximum ram usage | 14 MB | 14 MB | 14 MB | 14 MB | 102 MB | 43 MB | 190 MB | 947 MB | 291 MB | 2448 MB | 24 MB | 183 MB | 14 MB | 96 MB | 252 MB | 48 MB | |
Average throughput passed for inputs > 1KiB | 217 KiB/s | 121 KiB/s | 298 KiB/s | 0 KiB/s | 12 KiB/s | 29 KiB/s | 1 KiB/s | 0 KiB/s | 0 KiB/s | 18 KiB/s | 18 KiB/s | 1 KiB/s | 640 KiB/s | 164 KiB/s | 2 KiB/s | 10 KiB/s |
cores |
Icarus | moore | moore_parse | Odin | Slang | Slang_parse | Surelog | Sv2v_zachjs | sv_parser | SynligYosys | tree_sitter_verilog | UhdmVerilator | Verible | VeribleExtractor | Verilator | Yosys | |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Ariane RISC-V core | ariane | 0/1 | 0/1 | 0/1 | 0/1 | 0/1 | 1/1 | 0/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/6 | 0/6 | 0/6 | 0/6 | 6/6 | 6/6 | 6/6 | 6/6 | 6/6 | 1/6 | 0/6 | 0/6 | 0/6 | 0/6 | 6/6 | 0/6 |
Lowrisc chip with Ibex core | earlgrey | 0/1 | 0/1 | 0/1 | 0/1 | 1/1 | 1/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 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 0/1 | 1/1 | 1/1 | 0/1 | 0/1 |
RgGen code generator for configuration and status registers | RgGen | 0/1 | 0/1 | 1/1 | 0/1 | 0/1 | 1/1 | 1/1 | 0/1 | 1/1 | 0/1 | 0/1 | 0/1 | 1/1 | 1/1 | 0/1 | 0/1 |
RSD RISC-V core | rsd | 0/1 | 0/1 | 0/1 | 0/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 0/1 | 0/1 | 0/1 | 0/1 | 0/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 | 1/1 | 0/1 |
NoC router and fabric | TNoC | 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 | 0/1 | 0/1 |
VeeR EH1 RISC-V core | veer-eh1 | 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 |
VeeR EL2 RISC-V core | veer-el2 | 0/1 | 0/1 | 0/1 | 0/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 0/1 | 0/1 | 0/1 | 0/1 | 0/1 | 1/1 | 0/1 |
Total tests passed | 0/16 | 0/16 | 2/16 | 0/16 | 13/16 | 16/16 | 13/16 | 12/16 | 14/16 | 2/16 | 0/16 | 0/16 | 8/16 | 6/16 | 12/16 | 0/16 | |
Total tags passed | 0/11 | 0/11 | 2/11 | 0/11 | 8/11 | 11/11 | 8/11 | 7/11 | 9/11 | 1/11 | 0/11 | 0/11 | 8/11 | 6/11 | 7/11 | 0/11 | |
Total time elapsed | 0s | 1s | 1s | 0s | 12s | 2s | 1953s | 785s | 305s | 1093s | 40s | 2474s | 2s | 16s | 304s | 0s | |
User time elapsed | 0s | 1s | 1s | 0s | 10s | 1s | 1870s | 692s | 304s | 1070s | 33s | 2341s | 2s | 15s | 292s | 0s | |
System time elapsed | 0s | 0s | 0s | 0s | 2s | 1s | 84s | 93s | 1s | 23s | 6s | 133s | 0s | 0s | 11s | 0s | |
Maximum ram usage | 23 MB | 153 MB | 153 MB | 14 MB | 1377 MB | 202 MB | 35981 MB | 3560 MB | 1341 MB | 13648 MB | 77 MB | 31134 MB | 67 MB | 129 MB | 983 MB | 17 MB | |
Average throughput passed for inputs > 1KiB | 0 KiB/s | 0 KiB/s | 4549 KiB/s | 0 KiB/s | 2790 KiB/s | 13704 KiB/s | 14 KiB/s | 22 KiB/s | 76 KiB/s | 38 KiB/s | 0 KiB/s | 0 KiB/s | 11634 KiB/s | 1413 KiB/s | 64 KiB/s | 0 KiB/s |
imported |
Icarus | moore | moore_parse | Odin | Slang | Slang_parse | Surelog | Sv2v_zachjs | sv_parser | SynligYosys | tree_sitter_verilog | UhdmVerilator | Verible | VeribleExtractor | Verilator | Yosys | |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Tests imported from Basejump STL | basejump | 0/353 | 326/353 | 345/353 | 0/353 | 353/353 | 353/353 | 345/353 | 346/353 | 353/353 | 341/353 | 0/353 | 342/353 | 44/353 | 44/353 | 348/353 | 0/353 |
Tests imported from hdlConvertor | hdlconv | 17/19 | 17/19 | 18/19 | 9/19 | 19/19 | 19/19 | 19/19 | 18/19 | 19/19 | 18/19 | 16/19 | 19/19 | 19/19 | 19/19 | 19/19 | 14/19 |
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 | 20/22 | 13/22 | 22/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 | 56/173 | 173/173 | 145/173 | 118/173 | 169/173 | 145/173 | 145/173 | 99/173 | 26/173 |
Tests imported from ivtest | ivtest | 2103/2132 | 745/2132 | 1591/2132 | 346/2132 | 2132/2132 | 1992/2132 | 1990/2132 | 1697/2132 | 1998/2132 | 805/2132 | 1402/2132 | 1435/2132 | 1916/2132 | 1916/2132 | 1903/2132 | 404/2132 |
projf-explore | 10/10 | 9/10 | 10/10 | 0/10 | 10/10 | 10/10 | 10/10 | 10/10 | 10/10 | 10/10 | 10/10 | 10/10 | 10/10 | 10/10 | 10/10 | 10/10 | |
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 | 127/127 | 121/127 | 126/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 | 203/215 | 214/215 | 211/215 | 183/215 | 192/215 | 208/215 | 208/215 | 206/215 | 182/215 |
Total tests passed | 2491/3051 | 1218/3051 | 2362/3051 | 546/3051 | 3051/3051 | 2905/3051 | 2896/3051 | 2461/3051 | 2916/3051 | 1677/3051 | 1863/3051 | 2315/3051 | 2491/3051 | 2491/3051 | 2730/3051 | 762/3051 | |
Total tags passed | 1/8 | 0/8 | 1/8 | 0/8 | 8/8 | 6/8 | 5/8 | 1/8 | 6/8 | 2/8 | 1/8 | 3/8 | 4/8 | 4/8 | 2/8 | 1/8 | |
Total time elapsed | 60s | 115s | 14s | 46s | 16s | 15s | 1711s | 124s | 196s | 1999s | 238s | 2747s | 14s | 34s | 3651s | 62s | |
User time elapsed | 48s | 103s | 10s | 43s | 11s | 10s | 1653s | 56s | 182s | 1930s | 210s | 2569s | 11s | 28s | 3246s | 55s | |
System time elapsed | 12s | 11s | 4s | 4s | 5s | 4s | 58s | 68s | 14s | 69s | 28s | 179s | 4s | 6s | 406s | 7s | |
Maximum ram usage | 20 MB | 3870 MB | 53 MB | 160 MB | 27 MB | 26 MB | 2784 MB | 867 MB | 722 MB | 2797 MB | 108 MB | 3107 MB | 23 MB | 22 MB | 301 MB | 519 MB | |
Average throughput passed for inputs > 1KiB | 163 KiB/s | 1879 KiB/s | 2633 KiB/s | 312 KiB/s | 2078 KiB/s | 2360 KiB/s | 17 KiB/s | 219 KiB/s | 112 KiB/s | 24 KiB/s | 42 KiB/s | 14 KiB/s | 1007 KiB/s | 405 KiB/s | 12 KiB/s | 29 KiB/s |