Package: spec_cov_pkg

• File: spec_cov_pkg.vhd

Functions

• initialize_req_cov ( constant testcase : string;
  constant req_list_file : string;
  constant partial_cov_file : string ) return ()

• initialize_req_cov ( constant testcase : string;
  constant partial_cov_file : string ) return ()

• tick_off_req_cov ( constant requirement : string;
  constant test_status : t_test_status := NA;
  constant msg : string := "";
  constant tickoff_extent : t_extent_tickoff := LIST_SINGLE_TICKOFF;
  constant scope : string := C_SCOPE ) return ()

• cond_tick_off_req_cov ( constant requirement : string;
  constant test_status : t_test_status := NA;
  constant msg : string := "";
  constant tickoff_extent : t_extent_tickoff := LIST_SINGLE_TICKOFF;
  constant scope : string := C_SCOPE ) return ()

• disable_cond_tick_off_req_cov ( constant requirement : string ) return ()

• enable_cond_tick_off_req_cov ( constant requirement : string ) return ()

• finalize_req_cov ( constant VOID : t_void ) return ()

• priv_log_entry ( constant index : natural ) return ()

• priv_read_and_parse_csv_file ( constant req_list_file : string ) return ()

• priv_initialize_result_file ( constant file_name : string ) return ()

• priv_inc_num_requirement_tick_offs ( requirement : string ) return ()

• priv_test_status_to_string ( constant test_status : t_test_status ) return string

• priv_set_default_testcase_name ( constant testcase : string ) return ()