Package: check_pkg

• File: check_api.vhd

Signals

Name	Type	Description
check_enabled	std_logic

Constants

Name	Type	Value	Description
default_checker	checker_t	new_checker("check")
check_logger	logger_t	get_logger(default_checker)
check_result_tag	string	"<+/->"

Types

Name	Type	Description
edge_t	(rising_edge, falling_edge, both_edges)
trigger_event_t	(first_pipe, first_no_pipe, penultimate)

Functions

• get_checker_stat (variable stat : out checker_stat_t) return ()

• reset_checker_stat () return ()

• result (msg : string := "") return string

• check ( constant checker : in checker_t;
  signal clock : in std_logic;
  signal en : in std_logic;
  signal expr : in std_logic;
  constant msg : in string := check_result_tag & ".";
  constant level : in log_level_t := null_log_level;
  constant active_clock_edge : in edge_t := rising_edge;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check ( constant checker : in checker_t;
  variable pass : out boolean;
  constant expr : in boolean;
  constant msg : in string := check_result_tag & ".";
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check ( constant checker : in checker_t;
  constant expr : in boolean;
  constant msg : in string := check_result_tag & ".";
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check ( constant expr : in boolean;
  constant msg : in string := check_result_tag & ".";
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check ( variable pass : out boolean;
  constant expr : in boolean;
  constant msg : in string := check_result_tag & ".";
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check ( signal clock : in std_logic;
  signal en : in std_logic;
  signal expr : in std_logic;
  constant msg : in string := check_result_tag & ".";
  constant level : in log_level_t := null_log_level;
  constant active_clock_edge : in edge_t := rising_edge;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_passed ( constant checker : in checker_t;
  constant msg : in string := check_result_tag & ".";
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_passed ( constant msg : in string := check_result_tag & ".";
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_failed ( constant checker : in checker_t;
  constant msg : in string := check_result_tag & ".";
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_failed ( constant msg : in string := check_result_tag & ".";
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_true ( constant checker : in checker_t;
  signal clock : in std_logic;
  signal en : in std_logic;
  signal expr : in std_logic;
  constant msg : in string := check_result_tag & ".";
  constant level : in log_level_t := null_log_level;
  constant active_clock_edge : in edge_t := rising_edge;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_true ( constant checker : in checker_t;
  variable pass : out boolean;
  constant expr : in boolean;
  constant msg : in string := check_result_tag & ".";
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_true ( constant checker : in checker_t;
  constant expr : in boolean;
  constant msg : in string := check_result_tag & ".";
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_true ( constant expr : in boolean;
  constant msg : in string := check_result_tag & ".";
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_true ( variable pass : out boolean;
  constant expr : in boolean;
  constant msg : in string := check_result_tag & ".";
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_true ( signal clock : in std_logic;
  signal en : in std_logic;
  signal expr : in std_logic;
  constant msg : in string := check_result_tag & ".";
  constant level : in log_level_t := null_log_level;
  constant active_clock_edge : in edge_t := rising_edge;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_false ( constant checker : in checker_t;
  constant expr : in boolean;
  constant msg : in string := check_result_tag & ".";
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_false ( constant checker : in checker_t;
  variable pass : out boolean;
  constant expr : in boolean;
  constant msg : in string := check_result_tag & ".";
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_false ( constant checker : in checker_t;
  signal clock : in std_logic;
  signal en : in std_logic;
  signal expr : in std_logic;
  constant msg : in string := check_result_tag & ".";
  constant level : in log_level_t := null_log_level;
  constant active_clock_edge : in edge_t := rising_edge;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_false ( constant expr : in boolean;
  constant msg : in string := check_result_tag & ".";
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_false ( variable pass : out boolean;
  constant expr : in boolean;
  constant msg : in string := check_result_tag & ".";
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_false ( signal clock : in std_logic;
  signal en : in std_logic;
  signal expr : in std_logic;
  constant msg : in string := check_result_tag & ".";
  constant level : in log_level_t := null_log_level;
  constant active_clock_edge : in edge_t := rising_edge;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_implication ( constant checker : in checker_t;
  signal clock : in std_logic;
  signal en : in std_logic;
  signal antecedent_expr : in std_logic;
  signal consequent_expr : in std_logic;
  constant msg : in string := check_result_tag & ".";
  constant level : in log_level_t := null_log_level;
  constant active_clock_edge : in edge_t := rising_edge;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_implication ( signal clock : in std_logic;
  signal en : in std_logic;
  signal antecedent_expr : in std_logic;
  signal consequent_expr : in std_logic;
  constant msg : in string := check_result_tag & ".";
  constant level : in log_level_t := null_log_level;
  constant active_clock_edge : in edge_t := rising_edge;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_implication ( constant checker : in checker_t;
  constant antecedent_expr : in boolean;
  constant consequent_expr : in boolean;
  constant msg : in string := check_result_tag & ".";
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_implication ( constant checker : in checker_t;
  variable pass : out boolean;
  constant antecedent_expr : in boolean;
  constant consequent_expr : in boolean;
  constant msg : in string := check_result_tag & ".";
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_implication ( constant antecedent_expr : in boolean;
  constant consequent_expr : in boolean;
  constant msg : in string := check_result_tag & ".";
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_implication ( variable pass : out boolean;
  constant antecedent_expr : in boolean;
  constant consequent_expr : in boolean;
  constant msg : in string := check_result_tag & ".";
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_stable ( constant checker : in checker_t;
  signal clock : in std_logic;
  signal en : in std_logic;
  signal start_event : in std_logic;
  signal end_event : in std_logic;
  signal expr : in std_logic_vector;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant active_clock_edge : in edge_t := rising_edge;
  constant allow_restart : in boolean := false;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_stable ( signal clock : in std_logic;
  signal en : in std_logic;
  signal start_event : in std_logic;
  signal end_event : in std_logic;
  signal expr : in std_logic_vector;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant active_clock_edge : in edge_t := rising_edge;
  constant allow_restart : in boolean := false;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_stable ( constant checker : in checker_t;
  signal clock : in std_logic;
  signal en : in std_logic;
  signal start_event : in std_logic;
  signal end_event : in std_logic;
  signal expr : in std_logic;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant active_clock_edge : in edge_t := rising_edge;
  constant allow_restart : in boolean := false;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_stable ( signal clock : in std_logic;
  signal en : in std_logic;
  signal start_event : in std_logic;
  signal end_event : in std_logic;
  signal expr : in std_logic;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant active_clock_edge : in edge_t := rising_edge;
  constant allow_restart : in boolean := false;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_not_unknown ( constant checker : in checker_t;
  signal clock : in std_logic;
  signal en : in std_logic;
  signal expr : in std_logic_vector;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant active_clock_edge : in edge_t := rising_edge;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_not_unknown ( signal clock : in std_logic;
  signal en : in std_logic;
  signal expr : in std_logic_vector;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant active_clock_edge : in edge_t := rising_edge;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_not_unknown ( constant checker : in checker_t;
  constant expr : in std_logic_vector;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_not_unknown ( constant checker : in checker_t;
  variable pass : out boolean;
  constant expr : in std_logic_vector;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_not_unknown ( constant expr : in std_logic_vector;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_not_unknown ( variable pass : out boolean;
  constant expr : in std_logic_vector;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_not_unknown ( constant checker : in checker_t;
  signal clock : in std_logic;
  signal en : in std_logic;
  signal expr : in std_logic;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant active_clock_edge : in edge_t := rising_edge;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_not_unknown ( signal clock : in std_logic;
  signal en : in std_logic;
  signal expr : in std_logic;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant active_clock_edge : in edge_t := rising_edge;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_not_unknown ( constant checker : in checker_t;
  constant expr : in std_logic;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_not_unknown ( constant checker : in checker_t;
  variable pass : out boolean;
  constant expr : in std_logic;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_not_unknown ( constant expr : in std_logic;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_not_unknown ( variable pass : out boolean;
  constant expr : in std_logic;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_zero_one_hot ( constant checker : in checker_t;
  signal clock : in std_logic;
  signal en : in std_logic;
  signal expr : in std_logic_vector;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant active_clock_edge : in edge_t := rising_edge;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_zero_one_hot ( signal clock : in std_logic;
  signal en : in std_logic;
  signal expr : in std_logic_vector;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant active_clock_edge : in edge_t := rising_edge;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_zero_one_hot ( constant checker : in checker_t;
  variable pass : out boolean;
  constant expr : in std_logic_vector;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_zero_one_hot ( variable pass : out boolean;
  constant expr : in std_logic_vector;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_zero_one_hot ( constant checker : in checker_t;
  constant expr : in std_logic_vector;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_zero_one_hot ( constant expr : in std_logic_vector;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_one_hot ( constant checker : in checker_t;
  signal clock : in std_logic;
  signal en : in std_logic;
  signal expr : in std_logic_vector;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant active_clock_edge : in edge_t := rising_edge;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_one_hot ( signal clock : in std_logic;
  signal en : in std_logic;
  signal expr : in std_logic_vector;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant active_clock_edge : in edge_t := rising_edge;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_one_hot ( constant checker : in checker_t;
  variable pass : out boolean;
  constant expr : in std_logic_vector;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_one_hot ( variable pass : out boolean;
  constant expr : in std_logic_vector;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_one_hot ( constant checker : in checker_t;
  constant expr : in std_logic_vector;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_one_hot ( constant expr : in std_logic_vector;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_next ( constant checker : in checker_t;
  signal clock : in std_logic;
  signal en : in std_logic;
  signal start_event : in std_logic;
  signal expr : in std_logic;
  constant msg : in string := check_result_tag;
  constant num_cks : in natural := 1;
  constant allow_overlapping : in boolean := true;
  constant allow_missing_start : in boolean := true;
  constant level : in log_level_t := null_log_level;
  constant active_clock_edge : in edge_t := rising_edge;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_next ( signal clock : in std_logic;
  signal en : in std_logic;
  signal start_event : in std_logic;
  signal expr : in std_logic;
  constant msg : in string := check_result_tag;
  constant num_cks : in natural := 1;
  constant allow_overlapping : in boolean := true;
  constant allow_missing_start : in boolean := true;
  constant level : in log_level_t := null_log_level;
  constant active_clock_edge : in edge_t := rising_edge;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_sequence ( constant checker : in checker_t;
  signal clock : in std_logic;
  signal en : in std_logic;
  signal event_sequence : in std_logic_vector;
  constant msg : in string := check_result_tag;
  constant trigger_event : in trigger_event_t := penultimate;
  constant level : in log_level_t := null_log_level;
  constant active_clock_edge : in edge_t := rising_edge;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_sequence ( signal clock : in std_logic;
  signal en : in std_logic;
  signal event_sequence : in std_logic_vector;
  constant msg : in string := check_result_tag;
  constant trigger_event : in trigger_event_t := penultimate;
  constant level : in log_level_t := null_log_level;
  constant active_clock_edge : in edge_t := rising_edge;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_relation ( constant checker : in checker_t;
  constant expr : in boolean;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant context_msg : in string := "";
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_relation ( constant checker : in checker_t;
  variable pass : out boolean;
  constant expr : in boolean;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant context_msg : in string := "";
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_relation ( constant expr : in boolean;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant context_msg : in string := "";
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_relation ( variable pass : out boolean;
  constant expr : in boolean;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant context_msg : in string := "";
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_relation ( constant checker : in checker_t;
  constant expr : in std_ulogic;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant context_msg : in string := "";
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_relation ( constant checker : in checker_t;
  variable pass : out boolean;
  constant expr : in std_ulogic;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant context_msg : in string := "";
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_relation ( constant expr : in std_ulogic;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant context_msg : in string := "";
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_relation ( variable pass : out boolean;
  constant expr : in std_ulogic;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant context_msg : in string := "";
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_relation ( constant checker : in checker_t;
  constant expr : in bit;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant context_msg : in string := "";
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_relation ( constant checker : in checker_t;
  variable pass : out boolean;
  constant expr : in bit;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant context_msg : in string := "";
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_relation ( constant expr : in bit;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant context_msg : in string := "";
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_relation ( variable pass : out boolean;
  constant expr : in bit;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant context_msg : in string := "";
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( constant got : in real;
  constant expected : in real;
  constant msg : in string := check_result_tag;
  constant max_diff : in real := 0.0;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( constant checker : in checker_t;
  constant got : in real;
  constant expected : in real;
  constant msg : in string := check_result_tag;
  constant max_diff : in real := 0.0;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( constant got : in unsigned;
  constant expected : in unsigned;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( variable pass : out boolean;
  constant got : in unsigned;
  constant expected : in unsigned;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( constant checker : in checker_t;
  variable pass : out boolean;
  constant got : in unsigned;
  constant expected : in unsigned;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( constant checker : in checker_t;
  constant got : in unsigned;
  constant expected : in unsigned;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( constant got : in unsigned;
  constant expected : in natural;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( variable pass : out boolean;
  constant got : in unsigned;
  constant expected : in natural;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( constant checker : in checker_t;
  variable pass : out boolean;
  constant got : in unsigned;
  constant expected : in natural;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( constant checker : in checker_t;
  constant got : in unsigned;
  constant expected : in natural;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( constant got : in natural;
  constant expected : in unsigned;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( variable pass : out boolean;
  constant got : in natural;
  constant expected : in unsigned;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( constant checker : in checker_t;
  variable pass : out boolean;
  constant got : in natural;
  constant expected : in unsigned;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( constant checker : in checker_t;
  constant got : in natural;
  constant expected : in unsigned;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( constant got : in unsigned;
  constant expected : in std_logic_vector;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( variable pass : out boolean;
  constant got : in unsigned;
  constant expected : in std_logic_vector;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( constant checker : in checker_t;
  variable pass : out boolean;
  constant got : in unsigned;
  constant expected : in std_logic_vector;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( constant checker : in checker_t;
  constant got : in unsigned;
  constant expected : in std_logic_vector;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( constant got : in std_logic_vector;
  constant expected : in unsigned;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( variable pass : out boolean;
  constant got : in std_logic_vector;
  constant expected : in unsigned;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( constant checker : in checker_t;
  variable pass : out boolean;
  constant got : in std_logic_vector;
  constant expected : in unsigned;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( constant checker : in checker_t;
  constant got : in std_logic_vector;
  constant expected : in unsigned;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( constant got : in std_logic_vector;
  constant expected : in std_logic_vector;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( variable pass : out boolean;
  constant got : in std_logic_vector;
  constant expected : in std_logic_vector;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( constant checker : in checker_t;
  variable pass : out boolean;
  constant got : in std_logic_vector;
  constant expected : in std_logic_vector;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( constant checker : in checker_t;
  constant got : in std_logic_vector;
  constant expected : in std_logic_vector;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( constant got : in std_logic_vector;
  constant expected : in natural;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( variable pass : out boolean;
  constant got : in std_logic_vector;
  constant expected : in natural;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( constant checker : in checker_t;
  variable pass : out boolean;
  constant got : in std_logic_vector;
  constant expected : in natural;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( constant checker : in checker_t;
  constant got : in std_logic_vector;
  constant expected : in natural;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( constant got : in natural;
  constant expected : in std_logic_vector;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( variable pass : out boolean;
  constant got : in natural;
  constant expected : in std_logic_vector;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( constant checker : in checker_t;
  variable pass : out boolean;
  constant got : in natural;
  constant expected : in std_logic_vector;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( constant checker : in checker_t;
  constant got : in natural;
  constant expected : in std_logic_vector;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( constant got : in signed;
  constant expected : in signed;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( variable pass : out boolean;
  constant got : in signed;
  constant expected : in signed;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( constant checker : in checker_t;
  variable pass : out boolean;
  constant got : in signed;
  constant expected : in signed;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( constant checker : in checker_t;
  constant got : in signed;
  constant expected : in signed;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( constant got : in signed;
  constant expected : in integer;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( variable pass : out boolean;
  constant got : in signed;
  constant expected : in integer;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( constant checker : in checker_t;
  variable pass : out boolean;
  constant got : in signed;
  constant expected : in integer;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( constant checker : in checker_t;
  constant got : in signed;
  constant expected : in integer;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( constant got : in integer;
  constant expected : in signed;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( variable pass : out boolean;
  constant got : in integer;
  constant expected : in signed;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( constant checker : in checker_t;
  variable pass : out boolean;
  constant got : in integer;
  constant expected : in signed;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( constant checker : in checker_t;
  constant got : in integer;
  constant expected : in signed;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( constant got : in integer;
  constant expected : in integer;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( variable pass : out boolean;
  constant got : in integer;
  constant expected : in integer;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( constant checker : in checker_t;
  variable pass : out boolean;
  constant got : in integer;
  constant expected : in integer;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( constant checker : in checker_t;
  constant got : in integer;
  constant expected : in integer;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( constant got : in std_logic;
  constant expected : in std_logic;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( variable pass : out boolean;
  constant got : in std_logic;
  constant expected : in std_logic;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( constant checker : in checker_t;
  variable pass : out boolean;
  constant got : in std_logic;
  constant expected : in std_logic;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( constant checker : in checker_t;
  constant got : in std_logic;
  constant expected : in std_logic;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( constant got : in std_logic;
  constant expected : in boolean;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( variable pass : out boolean;
  constant got : in std_logic;
  constant expected : in boolean;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( constant checker : in checker_t;
  variable pass : out boolean;
  constant got : in std_logic;
  constant expected : in boolean;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( constant checker : in checker_t;
  constant got : in std_logic;
  constant expected : in boolean;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( constant got : in boolean;
  constant expected : in std_logic;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( variable pass : out boolean;
  constant got : in boolean;
  constant expected : in std_logic;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( constant checker : in checker_t;
  variable pass : out boolean;
  constant got : in boolean;
  constant expected : in std_logic;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( constant checker : in checker_t;
  constant got : in boolean;
  constant expected : in std_logic;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( constant got : in boolean;
  constant expected : in boolean;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( variable pass : out boolean;
  constant got : in boolean;
  constant expected : in boolean;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( constant checker : in checker_t;
  variable pass : out boolean;
  constant got : in boolean;
  constant expected : in boolean;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( constant checker : in checker_t;
  constant got : in boolean;
  constant expected : in boolean;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( constant got : in string;
  constant expected : in string;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( variable pass : out boolean;
  constant got : in string;
  constant expected : in string;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( constant checker : in checker_t;
  variable pass : out boolean;
  constant got : in string;
  constant expected : in string;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( constant checker : in checker_t;
  constant got : in string;
  constant expected : in string;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( constant got : in character;
  constant expected : in character;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( variable pass : out boolean;
  constant got : in character;
  constant expected : in character;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( constant checker : in checker_t;
  variable pass : out boolean;
  constant got : in character;
  constant expected : in character;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( constant checker : in checker_t;
  constant got : in character;
  constant expected : in character;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( constant got : in time;
  constant expected : in time;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( variable pass : out boolean;
  constant got : in time;
  constant expected : in time;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( constant checker : in checker_t;
  variable pass : out boolean;
  constant got : in time;
  constant expected : in time;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_equal ( constant checker : in checker_t;
  constant got : in time;
  constant expected : in time;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_match ( constant got : in unsigned;
  constant expected : in unsigned;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_match ( variable pass : out boolean;
  constant got : in unsigned;
  constant expected : in unsigned;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_match ( constant checker : in checker_t;
  variable pass : out boolean;
  constant got : in unsigned;
  constant expected : in unsigned;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_match ( constant checker : in checker_t;
  constant got : in unsigned;
  constant expected : in unsigned;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_match ( constant got : in std_logic_vector;
  constant expected : in std_logic_vector;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_match ( variable pass : out boolean;
  constant got : in std_logic_vector;
  constant expected : in std_logic_vector;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_match ( constant checker : in checker_t;
  variable pass : out boolean;
  constant got : in std_logic_vector;
  constant expected : in std_logic_vector;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_match ( constant checker : in checker_t;
  constant got : in std_logic_vector;
  constant expected : in std_logic_vector;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_match ( constant got : in signed;
  constant expected : in signed;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_match ( variable pass : out boolean;
  constant got : in signed;
  constant expected : in signed;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_match ( constant checker : in checker_t;
  variable pass : out boolean;
  constant got : in signed;
  constant expected : in signed;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_match ( constant checker : in checker_t;
  constant got : in signed;
  constant expected : in signed;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_match ( constant got : in std_logic;
  constant expected : in std_logic;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_match ( variable pass : out boolean;
  constant got : in std_logic;
  constant expected : in std_logic;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_match ( constant checker : in checker_t;
  variable pass : out boolean;
  constant got : in std_logic;
  constant expected : in std_logic;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()

• check_match ( constant checker : in checker_t;
  constant got : in std_logic;
  constant expected : in std_logic;
  constant msg : in string := check_result_tag;
  constant level : in log_level_t := null_log_level;
  constant path_offset : in natural := 0;
  constant line_num : in natural := 0;
  constant file_name : in string := "") return ()