27 lines
918 B
Systemverilog
27 lines
918 B
Systemverilog
// IEEE1800-2017 Clause 40.3.1
|
|
// The following predefined `define macros represent basic real-time coverage
|
|
// capabilities accessible directly from SystemVerilog:
|
|
|
|
// Coverage control
|
|
localparam int SV_COV_START = 0; // 0
|
|
localparam int SV_COV_STOP = 1; // 1
|
|
localparam int SV_COV_RESET = 2; // 2
|
|
localparam int SV_COV_CHECK = 3; // 3
|
|
|
|
// Scope definition (hierarchy traversal/accumulation type)
|
|
localparam int SV_COV_MODULE = 10; // 10
|
|
localparam int SV_COV_HIER = 11; // 11
|
|
|
|
// Coverage type identification
|
|
localparam int SV_COV_ASSERTION = 20; // 20
|
|
localparam int SV_COV_FSM_STATE = 21; // 21
|
|
localparam int SV_COV_STATEMENT = 22; // 22
|
|
localparam int SV_COV_TOGGLE = 23; // 23
|
|
|
|
// Status results
|
|
localparam int SV_COV_OVERFLOW = -2; // -2
|
|
localparam int SV_COV_ERROR = -1; // -1
|
|
localparam int SV_COV_NOCOV = 0; // 0
|
|
localparam int SV_COV_OK = 1; // 1
|
|
localparam int SV_COV_PARTIAL = 2; // 2
|