added new constraint to create inf values at operands

Author: chirpdx

Makefile

@@ -2,9 +2,9 @@
 
 all: build sim
 
-NUM_TESTS := 100
+NUM_TESTS := 10000
 TOLERATE_BITS := 3
-RAND_CONS := 5
+RAND_CONS := 61
 FPU_SRC := duv/pfpu32_top.v
 
 clean:
@@ -26,7 +26,8 @@ vsim_args  := \
 	+NUM_TESTS=$(NUM_TESTS) \
 	+TOLERATE_BITS=$(TOLERATE_BITS) \
 	+RAND_CONS=$(RAND_CONS) \
-	-suppress 8604
+	-suppress 8604 \
+	-suppress 8630
 
 ifdef TEST_PRINT
 	vsim_args += +TEST_PRINT

tb/generator.sv

@@ -8,10 +8,10 @@ class generator;
         if (!$value$plusargs("NUM_TESTS=%0d", NUM_TESTS)) NUM_TESTS = 10;
 
         t = new();
-        setconstraints();
 
         do
         begin
+            setconstraints();
             assert (t.randomize());
             common::gen2drv.put(t);
             common::cbfm0.waittilldone();
@@ -22,7 +22,6 @@ class generator;
         int RAND_CONS = 7;
         if ($value$plusargs("RAND_CONS=%0d", RAND_CONS))
         begin
-            $display("Constraints chosen with RAND_CONS = %d", RAND_CONS);
             RAND_CONS = RAND_CONS + 1;
         end
         t.constraint_mode(0);
@@ -52,6 +51,16 @@ class generator;
                 t.zeroonlyA.constraint_mode(1);
 				t.zeroonlyB.constraint_mode(1);
             end
+			51: begin
+                t.infA.constraint_mode(1);
+			end
+			55: begin
+				t.infB.constraint_mode(1);
+			end
+			60: begin
+				t.infA.constraint_mode(1);
+				t.infB.constraint_mode(1);
+			end
             default: begin
                 t.normonlyA.constraint_mode(1);
                 t.normonlyB.constraint_mode(1);

tb/transaction.sv

@@ -15,6 +15,8 @@ class transaction;
     constraint normonlyB		{expB != '0 || mantB == 0;};
     constraint denormonlyB		{expB == '0 && mantB != '0;};
     constraint zeroonlyB		{expB == '0 && mantB == '0;};
+    constraint infA				{expA == '1 && mantA == '0;};
+    constraint infB				{expB == '1 && mantB == '0;};
     constraint bothnormdenormAB	{};
 
     protected int randcount = 0;