@@ -42,7 +42,7 @@ def make_cr_fs1_fs2_edges(instr_name: str, instr_type: str, coverpoint: str, tes
4242 # Explicit rounding modes (if needed)
4343 for frm_mode in frm_modes :
4444 params = generate_random_params (
45- test_data , instr_type , exclude_regs = [0 ], fs1val = edge_val1 , fs2val = edge_val2 , frm = frm_mode
45+ test_data , instr_type , exclude_regs = [0 ], fs1val = edge_val1 , fs2val = edge_val2 , frm = frm_mode , csr_frm_val = 4 if frm_mode == "dyn" else None
4646 )
4747 bin_name = f"fs1val={ edge_val1 :#x} , fs2val={ edge_val2 :#x} , frm={ frm_mode } "
4848 desc = f"{ coverpoint } (Test source fs1 = { test_data .flen_format_str .format (edge_val1 )} fs2 = { test_data .flen_format_str .format (edge_val2 )} { f', frm = { frm_mode } ' if frm_mode is not None else '' } )"
@@ -79,7 +79,7 @@ def make_cr_fs1_fs3_edges(instr_name: str, instr_type: str, coverpoint: str, tes
7979 # Explicit rounding modes (if needed)
8080 for frm_mode in frm_modes :
8181 params = generate_random_params (
82- test_data , instr_type , exclude_regs = [0 ], fs1val = edge_val1 , fs3val = edge_val2 , frm = frm_mode
82+ test_data , instr_type , exclude_regs = [0 ], fs1val = edge_val1 , fs3val = edge_val2 , frm = frm_mode , csr_frm_val = 4 if frm_mode == "dyn" else None
8383 )
8484 desc = f"{ coverpoint } (Test source fs1 = { test_data .flen_format_str .format (edge_val1 )} fs3 = { test_data .flen_format_str .format (edge_val2 )} { f', frm = { frm_mode } ' if frm_mode is not None else '' } )"
8585 bin_name = f"fs1val={ edge_val1 :#x} , fs3val={ edge_val2 :#x} , frm={ frm_mode } "
0 commit comments