From 9aebc1526e9f8edc5001dd27bfd6d1ed3b056c7e Mon Sep 17 00:00:00 2001 From: Shreesh-Kulkarni Date: Tue, 14 May 2024 10:43:32 -0700 Subject: [PATCH] Python script to generate coverpoints for the IBM FP Dataset --- tests/fp/quad/fpdatasetgen.py | 12 ++++++++++++ 1 file changed, 12 insertions(+) create mode 100644 tests/fp/quad/fpdatasetgen.py diff --git a/tests/fp/quad/fpdatasetgen.py b/tests/fp/quad/fpdatasetgen.py new file mode 100644 index 000000000..3d49e7082 --- /dev/null +++ b/tests/fp/quad/fpdatasetgen.py @@ -0,0 +1,12 @@ +from fp_dataset import * +#coverpoints=ibm_b1(128, 128, 'fadd.q', 2) #ibm_b1(flen, iflen, opcode, ops) +#coverpoints=ibm_b2(128,128,'fadd.q',2) #ibm_b2(flen, iflen, opcode, ops, int_val = 100, seed = -1) +coverpoints=ibm_b2(32,32,'fadd.s',2) #ibm_b2(flen, iflen, opcode, ops,seed = -1) +#print(coverpoints) +#quad_precision_hex = "0x3ff00000000000000000000000000001" # Example quad precision hexadecimal value +#quad_precision_dec = fields_dec_converter(128, quad_precision_hex) +#print(quad_precision_dec) +for cvpts in coverpoints: + print(cvpts) + print("\n") +print(len(coverpoints))