Package: test_support
Functions
- assert_true ( constant expr : in boolean;
constant msg : in string := "";
constant level : in severity_level := error) return ()
- verify_passed_checks ( variable stat : inout checker_stat_t;
constant expected_n_passed : in integer := -1) return ()
- verify_passed_checks ( checker : checker_t;
variable stat : inout checker_stat_t;
constant expected_n_passed : in integer := -1) return ()
- verify_failed_checks ( variable stat : inout checker_stat_t;
constant expected_n_failed : in integer := -1) return ()
- verify_failed_checks ( checker : checker_t;
variable stat : inout checker_stat_t;
constant expected_n_failed : in integer := -1) return ()
- apply_sequence ( constant seq : in string;
signal clk : in std_logic;
signal data : out std_logic;
constant active_rising_clk_edge : in boolean := true) return ()
- apply_sequence ( constant seq : in string;
signal clk : in std_logic;
signal data : out std_logic_vector;
constant active_rising_clk_edge : in boolean := true) return ()
- clock_edge ( signal clk : in std_logic;
constant wait_rising_edge : in boolean := true) return boolean