anchor.diff:        Add#(b__, 16, TAdd#(m, 1))
         );
   
  +   let implementSubnormal = False;
  +
      ////////////////////////////////////////////////////////////////////////////////
      /// S0
      ////////////////////////////////////////////////////////////////////////////////
  
positive.code: 	       inbounds = True;
  	    end
  	 end
  	 rCond_S3 <= tuple4(sresInvalid, subnormal, inbounds, shift);
        end
     //endrule
  
  
negative.code:    endinterface
  endmodule
  
  
  ////////////////////////////////////////////////////////////////////////////////
  /// Pipelined Floating Point Multiplier
  ////////////////////////////////////////////////////////////////////////////////
  