(edif SpecialCasesCheck
  (edifVersion 2 0 0)
  (edifLevel 0)
  (keywordMap (keywordLevel 0))
  (status
    (written
      (timestamp 2019 8 24 14 51 45)
      (program "Xilinx ngc2edif" (version "P.20131013"))
      (author "Xilinx. Inc ")
      (comment "This EDIF netlist is to be used within supported synthesis tools")
      (comment "for determining resource/timing estimates of the design component")
      (comment "represented by this netlist.")
      (comment "Command line: -mdp2sp -w -secure SpecialCasesCheck.ngc SpecialCasesCheck.edif ")))
  (external UNISIMS
    (edifLevel 0)
    (technology (numberDefinition))
    (cell GND
      (cellType GENERIC)
        (view view_1
          (viewType NETLIST)
          (interface
            (port G
              (direction OUTPUT)
            )
          )
      )
    )
    (cell VCC
      (cellType GENERIC)
        (view view_1
          (viewType NETLIST)
          (interface
            (port P
              (direction OUTPUT)
            )
          )
      )
    )
    (cell LUT4
      (cellType GENERIC)
        (view view_1
          (viewType NETLIST)
          (interface
            (port I0
              (direction INPUT)
            )
            (port I1
              (direction INPUT)
            )
            (port I2
              (direction INPUT)
            )
            (port I3
              (direction INPUT)
            )
            (port O
              (direction OUTPUT)
            )
          )
      )
    )
    (cell MUXCY
      (cellType GENERIC)
        (view view_1
          (viewType NETLIST)
          (interface
            (port CI
              (direction INPUT)
            )
            (port DI
              (direction INPUT)
            )
            (port S
              (direction INPUT)
            )
            (port O
              (direction OUTPUT)
            )
          )
      )
    )
    (cell LUT6
      (cellType GENERIC)
        (view view_1
          (viewType NETLIST)
          (interface
            (port I0
              (direction INPUT)
            )
            (port I1
              (direction INPUT)
            )
            (port I2
              (direction INPUT)
            )
            (port I3
              (direction INPUT)
            )
            (port I4
              (direction INPUT)
            )
            (port I5
              (direction INPUT)
            )
            (port O
              (direction OUTPUT)
            )
          )
      )
    )
    (cell LUT3
      (cellType GENERIC)
        (view view_1
          (viewType NETLIST)
          (interface
            (port I0
              (direction INPUT)
            )
            (port I1
              (direction INPUT)
            )
            (port I2
              (direction INPUT)
            )
            (port O
              (direction OUTPUT)
            )
          )
      )
    )
    (cell LUT5
      (cellType GENERIC)
        (view view_1
          (viewType NETLIST)
          (interface
            (port I0
              (direction INPUT)
            )
            (port I1
              (direction INPUT)
            )
            (port I2
              (direction INPUT)
            )
            (port I3
              (direction INPUT)
            )
            (port I4
              (direction INPUT)
            )
            (port O
              (direction OUTPUT)
            )
          )
      )
    )
    (cell IBUF
      (cellType GENERIC)
        (view view_1
          (viewType NETLIST)
          (interface
            (port I
              (direction INPUT)
            )
            (port O
              (direction OUTPUT)
            )
          )
      )
    )
    (cell OBUF
      (cellType GENERIC)
        (view view_1
          (viewType NETLIST)
          (interface
            (port I
              (direction INPUT)
            )
            (port O
              (direction OUTPUT)
            )
          )
      )
    )
  )

  (library SpecialCasesCheck_lib
    (edifLevel 0)
    (technology (numberDefinition))
    (cell SpecialCasesCheck
      (cellType GENERIC)
        (view view_1
          (viewType NETLIST)
          (interface
            (port isNaN
              (direction OUTPUT)
            )
            (port isZero
              (direction OUTPUT)
            )
            (port (array (rename X "X<31:0>") 32)
              (direction INPUT))
            (port (array (rename Y "Y<31:0>") 32)
              (direction INPUT))
            (designator "xa6slx4-3-csg225")
            (property TYPE (string "SpecialCasesCheck") (owner "Xilinx"))
            (property BUS_INFO (string "32:INPUT:X<31:0>") (owner "Xilinx"))
            (property BUS_INFO (string "32:INPUT:Y<31:0>") (owner "Xilinx"))
            (property SHREG_MIN_SIZE (string "2") (owner "Xilinx"))
            (property SHREG_EXTRACT_NGC (string "YES") (owner "Xilinx"))
            (property NLW_UNIQUE_ID (integer 0) (owner "Xilinx"))
            (property NLW_MACRO_TAG (integer 0) (owner "Xilinx"))
            (property NLW_MACRO_ALIAS (string "SpecialCasesCheck_SpecialCasesCheck") (owner "Xilinx"))
          )
          (contents
            (instance XST_GND
              (viewRef view_1 (cellRef GND (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance XST_VCC
              (viewRef view_1 (cellRef VCC (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename ZC_isZero_wg_lut_0__ "ZC/isZero_wg_lut<0>")
              (viewRef view_1 (cellRef LUT4 (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
              (property INIT (string "9009") (owner "Xilinx"))
            )
            (instance (rename ZC_isZero_wg_cy_0__ "ZC/isZero_wg_cy<0>")
              (viewRef view_1 (cellRef MUXCY (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename ZC_isZero_wg_lut_1__ "ZC/isZero_wg_lut<1>")
              (viewRef view_1 (cellRef LUT6 (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
              (property INIT (string "9009000000009009") (owner "Xilinx"))
            )
            (instance (rename ZC_isZero_wg_cy_1__ "ZC/isZero_wg_cy<1>")
              (viewRef view_1 (cellRef MUXCY (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename ZC_isZero_wg_lut_2__ "ZC/isZero_wg_lut<2>")
              (viewRef view_1 (cellRef LUT6 (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
              (property INIT (string "9009000000009009") (owner "Xilinx"))
            )
            (instance (rename ZC_isZero_wg_cy_2__ "ZC/isZero_wg_cy<2>")
              (viewRef view_1 (cellRef MUXCY (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename ZC_isZero_wg_lut_3__ "ZC/isZero_wg_lut<3>")
              (viewRef view_1 (cellRef LUT6 (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
              (property INIT (string "9009000000009009") (owner "Xilinx"))
            )
            (instance (rename ZC_isZero_wg_cy_3__ "ZC/isZero_wg_cy<3>")
              (viewRef view_1 (cellRef MUXCY (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename ZC_isZero_wg_lut_4__ "ZC/isZero_wg_lut<4>")
              (viewRef view_1 (cellRef LUT6 (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
              (property INIT (string "9009000000009009") (owner "Xilinx"))
            )
            (instance (rename ZC_isZero_wg_cy_4__ "ZC/isZero_wg_cy<4>")
              (viewRef view_1 (cellRef MUXCY (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename ZC_isZero_wg_lut_5__ "ZC/isZero_wg_lut<5>")
              (viewRef view_1 (cellRef LUT6 (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
              (property INIT (string "9009000000009009") (owner "Xilinx"))
            )
            (instance (rename ZC_isZero_wg_cy_5__ "ZC/isZero_wg_cy<5>")
              (viewRef view_1 (cellRef MUXCY (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename ZC_isZero_wg_lut_6__ "ZC/isZero_wg_lut<6>")
              (viewRef view_1 (cellRef LUT6 (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
              (property INIT (string "9009000000009009") (owner "Xilinx"))
            )
            (instance (rename ZC_isZero_wg_cy_6__ "ZC/isZero_wg_cy<6>")
              (viewRef view_1 (cellRef MUXCY (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename ZC_isZero_wg_lut_7__ "ZC/isZero_wg_lut<7>")
              (viewRef view_1 (cellRef LUT6 (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
              (property INIT (string "9009000000009009") (owner "Xilinx"))
            )
            (instance (rename ZC_isZero_wg_cy_7__ "ZC/isZero_wg_cy<7>")
              (viewRef view_1 (cellRef MUXCY (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename ZC_isZero_wg_lut_8__ "ZC/isZero_wg_lut<8>")
              (viewRef view_1 (cellRef LUT6 (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
              (property INIT (string "9009000000009009") (owner "Xilinx"))
            )
            (instance (rename ZC_isZero_wg_cy_8__ "ZC/isZero_wg_cy<8>")
              (viewRef view_1 (cellRef MUXCY (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename ZC_isZero_wg_lut_9__ "ZC/isZero_wg_lut<9>")
              (viewRef view_1 (cellRef LUT6 (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
              (property INIT (string "9009000000009009") (owner "Xilinx"))
            )
            (instance (rename ZC_isZero_wg_cy_9__ "ZC/isZero_wg_cy<9>")
              (viewRef view_1 (cellRef MUXCY (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename ZC_isZero_wg_cy_10__ "ZC/isZero_wg_cy<10>")
              (viewRef view_1 (cellRef MUXCY (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename NC_yCheck_G_compute_G_tmp_0__SW0 "NC/yCheck/G_compute.G_tmp<0>_SW0")
              (viewRef view_1 (cellRef LUT3 (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
              (property INIT (string "80") (owner "Xilinx"))
            )
            (instance (rename NC_yCheck_G_compute_G_tmp_0__ "NC/yCheck/G_compute.G_tmp<0>")
              (viewRef view_1 (cellRef LUT6 (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
              (property INIT (string "8000000000000000") (owner "Xilinx"))
            )
            (instance (rename NC_isNan1_renamed_0 "NC/isNan1")
              (viewRef view_1 (cellRef LUT6 (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
              (property INIT (string "8000000000000000") (owner "Xilinx"))
            )
            (instance (rename NC_isNan2_renamed_1 "NC/isNan2")
              (viewRef view_1 (cellRef LUT3 (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
              (property INIT (string "80") (owner "Xilinx"))
            )
            (instance (rename NC_isNan3_renamed_2 "NC/isNan3")
              (viewRef view_1 (cellRef LUT6 (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
              (property INIT (string "FFFFFFFFFFFFFFFE") (owner "Xilinx"))
            )
            (instance (rename NC_isNan4_renamed_3 "NC/isNan4")
              (viewRef view_1 (cellRef LUT5 (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
              (property INIT (string "FFFFFFFE") (owner "Xilinx"))
            )
            (instance (rename NC_isNan5_renamed_4 "NC/isNan5")
              (viewRef view_1 (cellRef LUT4 (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
              (property INIT (string "FFFE") (owner "Xilinx"))
            )
            (instance (rename NC_isNan6_renamed_5 "NC/isNan6")
              (viewRef view_1 (cellRef LUT6 (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
              (property INIT (string "FFFFFFFFFFFFFFFE") (owner "Xilinx"))
            )
            (instance (rename NC_isNan7_renamed_6 "NC/isNan7")
              (viewRef view_1 (cellRef LUT6 (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
              (property INIT (string "FFFFFFFFFFFFFFFE") (owner "Xilinx"))
            )
            (instance (rename NC_isNan8_renamed_7 "NC/isNan8")
              (viewRef view_1 (cellRef LUT6 (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
              (property INIT (string "FFFFFFFFFFFFFFFE") (owner "Xilinx"))
            )
            (instance (rename NC_isNan9_renamed_8 "NC/isNan9")
              (viewRef view_1 (cellRef LUT5 (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
              (property INIT (string "FFFFFFFE") (owner "Xilinx"))
            )
            (instance (rename NC_isNan10_renamed_9 "NC/isNan10")
              (viewRef view_1 (cellRef LUT4 (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
              (property INIT (string "FFFE") (owner "Xilinx"))
            )
            (instance (rename NC_isNan11_renamed_10 "NC/isNan11")
              (viewRef view_1 (cellRef LUT6 (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
              (property INIT (string "FFFFFFFFFFFFFFFE") (owner "Xilinx"))
            )
            (instance (rename NC_isNan12 "NC/isNan12")
              (viewRef view_1 (cellRef LUT6 (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
              (property INIT (string "FFFFFFFFFFFFFFFE") (owner "Xilinx"))
            )
            (instance (rename X_31_IBUF_renamed_11 "X_31_IBUF")
              (viewRef view_1 (cellRef IBUF (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename X_30_IBUF_renamed_12 "X_30_IBUF")
              (viewRef view_1 (cellRef IBUF (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename X_29_IBUF_renamed_13 "X_29_IBUF")
              (viewRef view_1 (cellRef IBUF (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename X_28_IBUF_renamed_14 "X_28_IBUF")
              (viewRef view_1 (cellRef IBUF (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename X_27_IBUF_renamed_15 "X_27_IBUF")
              (viewRef view_1 (cellRef IBUF (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename X_26_IBUF_renamed_16 "X_26_IBUF")
              (viewRef view_1 (cellRef IBUF (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename X_25_IBUF_renamed_17 "X_25_IBUF")
              (viewRef view_1 (cellRef IBUF (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename X_24_IBUF_renamed_18 "X_24_IBUF")
              (viewRef view_1 (cellRef IBUF (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename X_23_IBUF_renamed_19 "X_23_IBUF")
              (viewRef view_1 (cellRef IBUF (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename X_22_IBUF_renamed_20 "X_22_IBUF")
              (viewRef view_1 (cellRef IBUF (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename X_21_IBUF_renamed_21 "X_21_IBUF")
              (viewRef view_1 (cellRef IBUF (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename X_20_IBUF_renamed_22 "X_20_IBUF")
              (viewRef view_1 (cellRef IBUF (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename X_19_IBUF_renamed_23 "X_19_IBUF")
              (viewRef view_1 (cellRef IBUF (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename X_18_IBUF_renamed_24 "X_18_IBUF")
              (viewRef view_1 (cellRef IBUF (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename X_17_IBUF_renamed_25 "X_17_IBUF")
              (viewRef view_1 (cellRef IBUF (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename X_16_IBUF_renamed_26 "X_16_IBUF")
              (viewRef view_1 (cellRef IBUF (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename X_15_IBUF_renamed_27 "X_15_IBUF")
              (viewRef view_1 (cellRef IBUF (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename X_14_IBUF_renamed_28 "X_14_IBUF")
              (viewRef view_1 (cellRef IBUF (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename X_13_IBUF_renamed_29 "X_13_IBUF")
              (viewRef view_1 (cellRef IBUF (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename X_12_IBUF_renamed_30 "X_12_IBUF")
              (viewRef view_1 (cellRef IBUF (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename X_11_IBUF_renamed_31 "X_11_IBUF")
              (viewRef view_1 (cellRef IBUF (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename X_10_IBUF_renamed_32 "X_10_IBUF")
              (viewRef view_1 (cellRef IBUF (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename X_9_IBUF_renamed_33 "X_9_IBUF")
              (viewRef view_1 (cellRef IBUF (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename X_8_IBUF_renamed_34 "X_8_IBUF")
              (viewRef view_1 (cellRef IBUF (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename X_7_IBUF_renamed_35 "X_7_IBUF")
              (viewRef view_1 (cellRef IBUF (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename X_6_IBUF_renamed_36 "X_6_IBUF")
              (viewRef view_1 (cellRef IBUF (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename X_5_IBUF_renamed_37 "X_5_IBUF")
              (viewRef view_1 (cellRef IBUF (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename X_4_IBUF_renamed_38 "X_4_IBUF")
              (viewRef view_1 (cellRef IBUF (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename X_3_IBUF_renamed_39 "X_3_IBUF")
              (viewRef view_1 (cellRef IBUF (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename X_2_IBUF_renamed_40 "X_2_IBUF")
              (viewRef view_1 (cellRef IBUF (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename X_1_IBUF_renamed_41 "X_1_IBUF")
              (viewRef view_1 (cellRef IBUF (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename X_0_IBUF_renamed_42 "X_0_IBUF")
              (viewRef view_1 (cellRef IBUF (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename Y_31_IBUF_renamed_43 "Y_31_IBUF")
              (viewRef view_1 (cellRef IBUF (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename Y_30_IBUF_renamed_44 "Y_30_IBUF")
              (viewRef view_1 (cellRef IBUF (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename Y_29_IBUF_renamed_45 "Y_29_IBUF")
              (viewRef view_1 (cellRef IBUF (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename Y_28_IBUF_renamed_46 "Y_28_IBUF")
              (viewRef view_1 (cellRef IBUF (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename Y_27_IBUF_renamed_47 "Y_27_IBUF")
              (viewRef view_1 (cellRef IBUF (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename Y_26_IBUF_renamed_48 "Y_26_IBUF")
              (viewRef view_1 (cellRef IBUF (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename Y_25_IBUF_renamed_49 "Y_25_IBUF")
              (viewRef view_1 (cellRef IBUF (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename Y_24_IBUF_renamed_50 "Y_24_IBUF")
              (viewRef view_1 (cellRef IBUF (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename Y_23_IBUF_renamed_51 "Y_23_IBUF")
              (viewRef view_1 (cellRef IBUF (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename Y_22_IBUF_renamed_52 "Y_22_IBUF")
              (viewRef view_1 (cellRef IBUF (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename Y_21_IBUF_renamed_53 "Y_21_IBUF")
              (viewRef view_1 (cellRef IBUF (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename Y_20_IBUF_renamed_54 "Y_20_IBUF")
              (viewRef view_1 (cellRef IBUF (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename Y_19_IBUF_renamed_55 "Y_19_IBUF")
              (viewRef view_1 (cellRef IBUF (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename Y_18_IBUF_renamed_56 "Y_18_IBUF")
              (viewRef view_1 (cellRef IBUF (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename Y_17_IBUF_renamed_57 "Y_17_IBUF")
              (viewRef view_1 (cellRef IBUF (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename Y_16_IBUF_renamed_58 "Y_16_IBUF")
              (viewRef view_1 (cellRef IBUF (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename Y_15_IBUF_renamed_59 "Y_15_IBUF")
              (viewRef view_1 (cellRef IBUF (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename Y_14_IBUF_renamed_60 "Y_14_IBUF")
              (viewRef view_1 (cellRef IBUF (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename Y_13_IBUF_renamed_61 "Y_13_IBUF")
              (viewRef view_1 (cellRef IBUF (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename Y_12_IBUF_renamed_62 "Y_12_IBUF")
              (viewRef view_1 (cellRef IBUF (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename Y_11_IBUF_renamed_63 "Y_11_IBUF")
              (viewRef view_1 (cellRef IBUF (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename Y_10_IBUF_renamed_64 "Y_10_IBUF")
              (viewRef view_1 (cellRef IBUF (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename Y_9_IBUF_renamed_65 "Y_9_IBUF")
              (viewRef view_1 (cellRef IBUF (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename Y_8_IBUF_renamed_66 "Y_8_IBUF")
              (viewRef view_1 (cellRef IBUF (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename Y_7_IBUF_renamed_67 "Y_7_IBUF")
              (viewRef view_1 (cellRef IBUF (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename Y_6_IBUF_renamed_68 "Y_6_IBUF")
              (viewRef view_1 (cellRef IBUF (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename Y_5_IBUF_renamed_69 "Y_5_IBUF")
              (viewRef view_1 (cellRef IBUF (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename Y_4_IBUF_renamed_70 "Y_4_IBUF")
              (viewRef view_1 (cellRef IBUF (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename Y_3_IBUF_renamed_71 "Y_3_IBUF")
              (viewRef view_1 (cellRef IBUF (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename Y_2_IBUF_renamed_72 "Y_2_IBUF")
              (viewRef view_1 (cellRef IBUF (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename Y_1_IBUF_renamed_73 "Y_1_IBUF")
              (viewRef view_1 (cellRef IBUF (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename Y_0_IBUF_renamed_74 "Y_0_IBUF")
              (viewRef view_1 (cellRef IBUF (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename isNaN_OBUF_renamed_75 "isNaN_OBUF")
              (viewRef view_1 (cellRef OBUF (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename isZero_OBUF_renamed_76 "isZero_OBUF")
              (viewRef view_1 (cellRef OBUF (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
            )
            (instance (rename ZC_isZero_wg_lut_10__ "ZC/isZero_wg_lut<10>")
              (viewRef view_1 (cellRef LUT6 (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
              (property INIT (string "0990000000000990") (owner "Xilinx"))
            )
            (instance (rename NC_isNan13 "NC/isNan13")
              (viewRef view_1 (cellRef LUT6 (libraryRef UNISIMS)))
              (property XSTLIB (boolean (true)) (owner "Xilinx"))
              (property INIT (string "EEEECCCCAAAA0880") (owner "Xilinx"))
            )
            (net X_31_IBUF
              (joined
                (portRef O (instanceRef X_31_IBUF_renamed_11))
                (portRef I2 (instanceRef ZC_isZero_wg_lut_10__))
                (portRef I2 (instanceRef NC_isNan13))
              )
            )
            (net X_30_IBUF
              (joined
                (portRef I2 (instanceRef ZC_isZero_wg_lut_7__))
                (portRef I1 (instanceRef NC_isNan2_renamed_1))
                (portRef O (instanceRef X_30_IBUF_renamed_12))
              )
            )
            (net X_29_IBUF
              (joined
                (portRef I0 (instanceRef ZC_isZero_wg_lut_0__))
                (portRef I0 (instanceRef NC_isNan2_renamed_1))
                (portRef O (instanceRef X_29_IBUF_renamed_13))
              )
            )
            (net X_28_IBUF
              (joined
                (portRef I4 (instanceRef ZC_isZero_wg_lut_6__))
                (portRef I1 (instanceRef NC_isNan1_renamed_0))
                (portRef O (instanceRef X_28_IBUF_renamed_14))
              )
            )
            (net X_27_IBUF
              (joined
                (portRef I0 (instanceRef ZC_isZero_wg_lut_7__))
                (portRef I0 (instanceRef NC_isNan1_renamed_0))
                (portRef O (instanceRef X_27_IBUF_renamed_15))
              )
            )
            (net X_26_IBUF
              (joined
                (portRef I2 (instanceRef ZC_isZero_wg_lut_1__))
                (portRef I3 (instanceRef NC_isNan1_renamed_0))
                (portRef O (instanceRef X_26_IBUF_renamed_16))
              )
            )
            (net X_25_IBUF
              (joined
                (portRef I4 (instanceRef ZC_isZero_wg_lut_2__))
                (portRef I2 (instanceRef NC_isNan1_renamed_0))
                (portRef O (instanceRef X_25_IBUF_renamed_17))
              )
            )
            (net X_24_IBUF
              (joined
                (portRef I2 (instanceRef ZC_isZero_wg_lut_5__))
                (portRef I5 (instanceRef NC_isNan1_renamed_0))
                (portRef O (instanceRef X_24_IBUF_renamed_18))
              )
            )
            (net X_23_IBUF
              (joined
                (portRef I0 (instanceRef ZC_isZero_wg_lut_6__))
                (portRef I4 (instanceRef NC_isNan1_renamed_0))
                (portRef O (instanceRef X_23_IBUF_renamed_19))
              )
            )
            (net X_22_IBUF
              (joined
                (portRef I2 (instanceRef ZC_isZero_wg_lut_3__))
                (portRef I5 (instanceRef NC_isNan6_renamed_5))
                (portRef O (instanceRef X_22_IBUF_renamed_20))
              )
            )
            (net X_21_IBUF
              (joined
                (portRef I4 (instanceRef ZC_isZero_wg_lut_4__))
                (portRef I4 (instanceRef NC_isNan6_renamed_5))
                (portRef O (instanceRef X_21_IBUF_renamed_21))
              )
            )
            (net X_20_IBUF
              (joined
                (portRef I0 (instanceRef ZC_isZero_wg_lut_5__))
                (portRef I1 (instanceRef NC_isNan3_renamed_2))
                (portRef O (instanceRef X_20_IBUF_renamed_22))
              )
            )
            (net X_19_IBUF
              (joined
                (portRef I4 (instanceRef ZC_isZero_wg_lut_5__))
                (portRef I3 (instanceRef NC_isNan3_renamed_2))
                (portRef O (instanceRef X_19_IBUF_renamed_23))
              )
            )
            (net X_18_IBUF
              (joined
                (portRef I4 (instanceRef ZC_isZero_wg_lut_3__))
                (portRef I2 (instanceRef NC_isNan3_renamed_2))
                (portRef O (instanceRef X_18_IBUF_renamed_24))
              )
            )
            (net X_17_IBUF
              (joined
                (portRef I0 (instanceRef ZC_isZero_wg_lut_4__))
                (portRef I5 (instanceRef NC_isNan3_renamed_2))
                (portRef O (instanceRef X_17_IBUF_renamed_25))
              )
            )
            (net X_16_IBUF
              (joined
                (portRef I2 (instanceRef ZC_isZero_wg_lut_6__))
                (portRef I4 (instanceRef NC_isNan3_renamed_2))
                (portRef O (instanceRef X_16_IBUF_renamed_26))
              )
            )
            (net X_15_IBUF
              (joined
                (portRef I2 (instanceRef ZC_isZero_wg_lut_2__))
                (portRef I4 (instanceRef NC_isNan7_renamed_6))
                (portRef O (instanceRef X_15_IBUF_renamed_27))
              )
            )
            (net X_14_IBUF
              (joined
                (portRef I0 (instanceRef ZC_isZero_wg_lut_3__))
                (portRef I3 (instanceRef NC_isNan7_renamed_6))
                (portRef O (instanceRef X_14_IBUF_renamed_28))
              )
            )
            (net X_13_IBUF
              (joined
                (portRef I2 (instanceRef ZC_isZero_wg_lut_8__))
                (portRef I1 (instanceRef NC_isNan4_renamed_3))
                (portRef O (instanceRef X_13_IBUF_renamed_29))
              )
            )
            (net X_12_IBUF
              (joined
                (portRef I5 (instanceRef ZC_isZero_wg_lut_7__))
                (portRef I0 (instanceRef NC_isNan4_renamed_3))
                (portRef O (instanceRef X_12_IBUF_renamed_30))
              )
            )
            (net X_11_IBUF
              (joined
                (portRef I4 (instanceRef NC_isNan4_renamed_3))
                (portRef O (instanceRef X_11_IBUF_renamed_31))
                (portRef I4 (instanceRef ZC_isZero_wg_lut_10__))
              )
            )
            (net X_10_IBUF
              (joined
                (portRef I0 (instanceRef ZC_isZero_wg_lut_2__))
                (portRef I3 (instanceRef NC_isNan4_renamed_3))
                (portRef O (instanceRef X_10_IBUF_renamed_32))
              )
            )
            (net X_9_IBUF
              (joined
                (portRef I4 (instanceRef ZC_isZero_wg_lut_9__))
                (portRef I1 (instanceRef NC_isNan5_renamed_4))
                (portRef O (instanceRef X_9_IBUF_renamed_33))
              )
            )
            (net X_8_IBUF
              (joined
                (portRef I0 (instanceRef NC_isNan5_renamed_4))
                (portRef O (instanceRef X_8_IBUF_renamed_34))
                (portRef I0 (instanceRef ZC_isZero_wg_lut_10__))
              )
            )
            (net X_7_IBUF
              (joined
                (portRef I4 (instanceRef ZC_isZero_wg_lut_1__))
                (portRef I3 (instanceRef NC_isNan5_renamed_4))
                (portRef O (instanceRef X_7_IBUF_renamed_35))
              )
            )
            (net X_6_IBUF
              (joined
                (portRef I4 (instanceRef ZC_isZero_wg_lut_8__))
                (portRef I2 (instanceRef NC_isNan5_renamed_4))
                (portRef O (instanceRef X_6_IBUF_renamed_36))
              )
            )
            (net X_5_IBUF
              (joined
                (portRef I0 (instanceRef ZC_isZero_wg_lut_9__))
                (portRef I1 (instanceRef NC_isNan6_renamed_5))
                (portRef O (instanceRef X_5_IBUF_renamed_37))
              )
            )
            (net X_4_IBUF
              (joined
                (portRef I0 (instanceRef ZC_isZero_wg_lut_1__))
                (portRef I0 (instanceRef NC_isNan6_renamed_5))
                (portRef O (instanceRef X_4_IBUF_renamed_38))
              )
            )
            (net X_3_IBUF
              (joined
                (portRef I2 (instanceRef ZC_isZero_wg_lut_0__))
                (portRef I3 (instanceRef NC_isNan6_renamed_5))
                (portRef O (instanceRef X_3_IBUF_renamed_39))
              )
            )
            (net X_2_IBUF
              (joined
                (portRef I0 (instanceRef ZC_isZero_wg_lut_8__))
                (portRef I2 (instanceRef NC_isNan6_renamed_5))
                (portRef O (instanceRef X_2_IBUF_renamed_40))
              )
            )
            (net X_1_IBUF
              (joined
                (portRef I2 (instanceRef ZC_isZero_wg_lut_4__))
                (portRef I0 (instanceRef NC_isNan3_renamed_2))
                (portRef O (instanceRef X_1_IBUF_renamed_41))
              )
            )
            (net X_0_IBUF
              (joined
                (portRef I2 (instanceRef ZC_isZero_wg_lut_9__))
                (portRef I2 (instanceRef NC_isNan4_renamed_3))
                (portRef O (instanceRef X_0_IBUF_renamed_42))
              )
            )
            (net Y_31_IBUF
              (joined
                (portRef O (instanceRef Y_31_IBUF_renamed_43))
                (portRef I3 (instanceRef ZC_isZero_wg_lut_10__))
                (portRef I3 (instanceRef NC_isNan13))
              )
            )
            (net Y_30_IBUF
              (joined
                (portRef I3 (instanceRef ZC_isZero_wg_lut_7__))
                (portRef I0 (instanceRef NC_yCheck_G_compute_G_tmp_0__))
                (portRef O (instanceRef Y_30_IBUF_renamed_44))
              )
            )
            (net Y_29_IBUF
              (joined
                (portRef I1 (instanceRef ZC_isZero_wg_lut_0__))
                (portRef I1 (instanceRef NC_yCheck_G_compute_G_tmp_0__))
                (portRef O (instanceRef Y_29_IBUF_renamed_45))
              )
            )
            (net Y_28_IBUF
              (joined
                (portRef I5 (instanceRef ZC_isZero_wg_lut_6__))
                (portRef I2 (instanceRef NC_yCheck_G_compute_G_tmp_0__))
                (portRef O (instanceRef Y_28_IBUF_renamed_46))
              )
            )
            (net Y_27_IBUF
              (joined
                (portRef I1 (instanceRef ZC_isZero_wg_lut_7__))
                (portRef I3 (instanceRef NC_yCheck_G_compute_G_tmp_0__))
                (portRef O (instanceRef Y_27_IBUF_renamed_47))
              )
            )
            (net Y_26_IBUF
              (joined
                (portRef I3 (instanceRef ZC_isZero_wg_lut_1__))
                (portRef I4 (instanceRef NC_yCheck_G_compute_G_tmp_0__))
                (portRef O (instanceRef Y_26_IBUF_renamed_48))
              )
            )
            (net Y_25_IBUF
              (joined
                (portRef I5 (instanceRef ZC_isZero_wg_lut_2__))
                (portRef I0 (instanceRef NC_yCheck_G_compute_G_tmp_0__SW0))
                (portRef O (instanceRef Y_25_IBUF_renamed_49))
              )
            )
            (net Y_24_IBUF
              (joined
                (portRef I3 (instanceRef ZC_isZero_wg_lut_5__))
                (portRef I1 (instanceRef NC_yCheck_G_compute_G_tmp_0__SW0))
                (portRef O (instanceRef Y_24_IBUF_renamed_50))
              )
            )
            (net Y_23_IBUF
              (joined
                (portRef I1 (instanceRef ZC_isZero_wg_lut_6__))
                (portRef I2 (instanceRef NC_yCheck_G_compute_G_tmp_0__SW0))
                (portRef O (instanceRef Y_23_IBUF_renamed_51))
              )
            )
            (net Y_22_IBUF
              (joined
                (portRef I3 (instanceRef ZC_isZero_wg_lut_3__))
                (portRef I5 (instanceRef NC_isNan11_renamed_10))
                (portRef O (instanceRef Y_22_IBUF_renamed_52))
              )
            )
            (net Y_21_IBUF
              (joined
                (portRef I5 (instanceRef ZC_isZero_wg_lut_4__))
                (portRef I4 (instanceRef NC_isNan11_renamed_10))
                (portRef O (instanceRef Y_21_IBUF_renamed_53))
              )
            )
            (net Y_20_IBUF
              (joined
                (portRef I1 (instanceRef ZC_isZero_wg_lut_5__))
                (portRef I1 (instanceRef NC_isNan8_renamed_7))
                (portRef O (instanceRef Y_20_IBUF_renamed_54))
              )
            )
            (net Y_19_IBUF
              (joined
                (portRef I5 (instanceRef ZC_isZero_wg_lut_5__))
                (portRef I3 (instanceRef NC_isNan8_renamed_7))
                (portRef O (instanceRef Y_19_IBUF_renamed_55))
              )
            )
            (net Y_18_IBUF
              (joined
                (portRef I5 (instanceRef ZC_isZero_wg_lut_3__))
                (portRef I2 (instanceRef NC_isNan8_renamed_7))
                (portRef O (instanceRef Y_18_IBUF_renamed_56))
              )
            )
            (net Y_17_IBUF
              (joined
                (portRef I1 (instanceRef ZC_isZero_wg_lut_4__))
                (portRef I5 (instanceRef NC_isNan8_renamed_7))
                (portRef O (instanceRef Y_17_IBUF_renamed_57))
              )
            )
            (net Y_16_IBUF
              (joined
                (portRef I3 (instanceRef ZC_isZero_wg_lut_6__))
                (portRef I4 (instanceRef NC_isNan8_renamed_7))
                (portRef O (instanceRef Y_16_IBUF_renamed_58))
              )
            )
            (net Y_15_IBUF
              (joined
                (portRef I3 (instanceRef ZC_isZero_wg_lut_2__))
                (portRef I4 (instanceRef NC_isNan12))
                (portRef O (instanceRef Y_15_IBUF_renamed_59))
              )
            )
            (net Y_14_IBUF
              (joined
                (portRef I1 (instanceRef ZC_isZero_wg_lut_3__))
                (portRef I3 (instanceRef NC_isNan12))
                (portRef O (instanceRef Y_14_IBUF_renamed_60))
              )
            )
            (net Y_13_IBUF
              (joined
                (portRef I3 (instanceRef ZC_isZero_wg_lut_8__))
                (portRef I1 (instanceRef NC_isNan9_renamed_8))
                (portRef O (instanceRef Y_13_IBUF_renamed_61))
              )
            )
            (net Y_12_IBUF
              (joined
                (portRef I4 (instanceRef ZC_isZero_wg_lut_7__))
                (portRef I0 (instanceRef NC_isNan9_renamed_8))
                (portRef O (instanceRef Y_12_IBUF_renamed_62))
              )
            )
            (net Y_11_IBUF
              (joined
                (portRef I4 (instanceRef NC_isNan9_renamed_8))
                (portRef O (instanceRef Y_11_IBUF_renamed_63))
                (portRef I5 (instanceRef ZC_isZero_wg_lut_10__))
              )
            )
            (net Y_10_IBUF
              (joined
                (portRef I1 (instanceRef ZC_isZero_wg_lut_2__))
                (portRef I3 (instanceRef NC_isNan9_renamed_8))
                (portRef O (instanceRef Y_10_IBUF_renamed_64))
              )
            )
            (net Y_9_IBUF
              (joined
                (portRef I5 (instanceRef ZC_isZero_wg_lut_9__))
                (portRef I1 (instanceRef NC_isNan10_renamed_9))
                (portRef O (instanceRef Y_9_IBUF_renamed_65))
              )
            )
            (net Y_8_IBUF
              (joined
                (portRef I0 (instanceRef NC_isNan10_renamed_9))
                (portRef O (instanceRef Y_8_IBUF_renamed_66))
                (portRef I1 (instanceRef ZC_isZero_wg_lut_10__))
              )
            )
            (net Y_7_IBUF
              (joined
                (portRef I5 (instanceRef ZC_isZero_wg_lut_1__))
                (portRef I3 (instanceRef NC_isNan10_renamed_9))
                (portRef O (instanceRef Y_7_IBUF_renamed_67))
              )
            )
            (net Y_6_IBUF
              (joined
                (portRef I5 (instanceRef ZC_isZero_wg_lut_8__))
                (portRef I2 (instanceRef NC_isNan10_renamed_9))
                (portRef O (instanceRef Y_6_IBUF_renamed_68))
              )
            )
            (net Y_5_IBUF
              (joined
                (portRef I1 (instanceRef ZC_isZero_wg_lut_9__))
                (portRef I1 (instanceRef NC_isNan11_renamed_10))
                (portRef O (instanceRef Y_5_IBUF_renamed_69))
              )
            )
            (net Y_4_IBUF
              (joined
                (portRef I1 (instanceRef ZC_isZero_wg_lut_1__))
                (portRef I0 (instanceRef NC_isNan11_renamed_10))
                (portRef O (instanceRef Y_4_IBUF_renamed_70))
              )
            )
            (net Y_3_IBUF
              (joined
                (portRef I3 (instanceRef ZC_isZero_wg_lut_0__))
                (portRef I3 (instanceRef NC_isNan11_renamed_10))
                (portRef O (instanceRef Y_3_IBUF_renamed_71))
              )
            )
            (net Y_2_IBUF
              (joined
                (portRef I1 (instanceRef ZC_isZero_wg_lut_8__))
                (portRef I2 (instanceRef NC_isNan11_renamed_10))
                (portRef O (instanceRef Y_2_IBUF_renamed_72))
              )
            )
            (net Y_1_IBUF
              (joined
                (portRef I3 (instanceRef ZC_isZero_wg_lut_4__))
                (portRef I0 (instanceRef NC_isNan8_renamed_7))
                (portRef O (instanceRef Y_1_IBUF_renamed_73))
              )
            )
            (net Y_0_IBUF
              (joined
                (portRef I3 (instanceRef ZC_isZero_wg_lut_9__))
                (portRef I2 (instanceRef NC_isNan9_renamed_8))
                (portRef O (instanceRef Y_0_IBUF_renamed_74))
              )
            )
            (net isNaN_OBUF
              (joined
                (portRef I (instanceRef isNaN_OBUF_renamed_75))
                (portRef O (instanceRef NC_isNan13))
              )
            )
            (net isZero_OBUF
              (joined
                (portRef O (instanceRef ZC_isZero_wg_cy_10__))
                (portRef I (instanceRef isZero_OBUF_renamed_76))
              )
            )
            (net N0
              (joined
                (portRef G (instanceRef XST_GND))
                (portRef DI (instanceRef ZC_isZero_wg_cy_0__))
                (portRef DI (instanceRef ZC_isZero_wg_cy_1__))
                (portRef DI (instanceRef ZC_isZero_wg_cy_2__))
                (portRef DI (instanceRef ZC_isZero_wg_cy_3__))
                (portRef DI (instanceRef ZC_isZero_wg_cy_4__))
                (portRef DI (instanceRef ZC_isZero_wg_cy_5__))
                (portRef DI (instanceRef ZC_isZero_wg_cy_6__))
                (portRef DI (instanceRef ZC_isZero_wg_cy_7__))
                (portRef DI (instanceRef ZC_isZero_wg_cy_8__))
                (portRef DI (instanceRef ZC_isZero_wg_cy_9__))
                (portRef DI (instanceRef ZC_isZero_wg_cy_10__))
              )
            )
            (net N1
              (joined
                (portRef P (instanceRef XST_VCC))
                (portRef CI (instanceRef ZC_isZero_wg_cy_0__))
              )
            )
            (net (rename NC_yCheck_G_compute_G_tmp "NC/yCheck/G_compute.G_tmp")
              (joined
                (portRef O (instanceRef NC_yCheck_G_compute_G_tmp_0__))
                (portRef I0 (instanceRef NC_isNan13))
              )
            )
            (net (rename ZC_isZero_wg_lut_0_ "ZC/isZero_wg_lut<0>")
              (joined
                (portRef O (instanceRef ZC_isZero_wg_lut_0__))
                (portRef S (instanceRef ZC_isZero_wg_cy_0__))
              )
            )
            (net (rename ZC_isZero_wg_cy_0_ "ZC/isZero_wg_cy<0>")
              (joined
                (portRef O (instanceRef ZC_isZero_wg_cy_0__))
                (portRef CI (instanceRef ZC_isZero_wg_cy_1__))
              )
            )
            (net (rename ZC_isZero_wg_lut_1_ "ZC/isZero_wg_lut<1>")
              (joined
                (portRef O (instanceRef ZC_isZero_wg_lut_1__))
                (portRef S (instanceRef ZC_isZero_wg_cy_1__))
              )
            )
            (net (rename ZC_isZero_wg_cy_1_ "ZC/isZero_wg_cy<1>")
              (joined
                (portRef O (instanceRef ZC_isZero_wg_cy_1__))
                (portRef CI (instanceRef ZC_isZero_wg_cy_2__))
              )
            )
            (net (rename ZC_isZero_wg_lut_2_ "ZC/isZero_wg_lut<2>")
              (joined
                (portRef O (instanceRef ZC_isZero_wg_lut_2__))
                (portRef S (instanceRef ZC_isZero_wg_cy_2__))
              )
            )
            (net (rename ZC_isZero_wg_cy_2_ "ZC/isZero_wg_cy<2>")
              (joined
                (portRef O (instanceRef ZC_isZero_wg_cy_2__))
                (portRef CI (instanceRef ZC_isZero_wg_cy_3__))
              )
            )
            (net (rename ZC_isZero_wg_lut_3_ "ZC/isZero_wg_lut<3>")
              (joined
                (portRef O (instanceRef ZC_isZero_wg_lut_3__))
                (portRef S (instanceRef ZC_isZero_wg_cy_3__))
              )
            )
            (net (rename ZC_isZero_wg_cy_3_ "ZC/isZero_wg_cy<3>")
              (joined
                (portRef O (instanceRef ZC_isZero_wg_cy_3__))
                (portRef CI (instanceRef ZC_isZero_wg_cy_4__))
              )
            )
            (net (rename ZC_isZero_wg_lut_4_ "ZC/isZero_wg_lut<4>")
              (joined
                (portRef O (instanceRef ZC_isZero_wg_lut_4__))
                (portRef S (instanceRef ZC_isZero_wg_cy_4__))
              )
            )
            (net (rename ZC_isZero_wg_cy_4_ "ZC/isZero_wg_cy<4>")
              (joined
                (portRef O (instanceRef ZC_isZero_wg_cy_4__))
                (portRef CI (instanceRef ZC_isZero_wg_cy_5__))
              )
            )
            (net (rename ZC_isZero_wg_lut_5_ "ZC/isZero_wg_lut<5>")
              (joined
                (portRef O (instanceRef ZC_isZero_wg_lut_5__))
                (portRef S (instanceRef ZC_isZero_wg_cy_5__))
              )
            )
            (net (rename ZC_isZero_wg_cy_5_ "ZC/isZero_wg_cy<5>")
              (joined
                (portRef O (instanceRef ZC_isZero_wg_cy_5__))
                (portRef CI (instanceRef ZC_isZero_wg_cy_6__))
              )
            )
            (net (rename ZC_isZero_wg_lut_6_ "ZC/isZero_wg_lut<6>")
              (joined
                (portRef O (instanceRef ZC_isZero_wg_lut_6__))
                (portRef S (instanceRef ZC_isZero_wg_cy_6__))
              )
            )
            (net (rename ZC_isZero_wg_cy_6_ "ZC/isZero_wg_cy<6>")
              (joined
                (portRef O (instanceRef ZC_isZero_wg_cy_6__))
                (portRef CI (instanceRef ZC_isZero_wg_cy_7__))
              )
            )
            (net (rename ZC_isZero_wg_lut_7_ "ZC/isZero_wg_lut<7>")
              (joined
                (portRef O (instanceRef ZC_isZero_wg_lut_7__))
                (portRef S (instanceRef ZC_isZero_wg_cy_7__))
              )
            )
            (net (rename ZC_isZero_wg_cy_7_ "ZC/isZero_wg_cy<7>")
              (joined
                (portRef O (instanceRef ZC_isZero_wg_cy_7__))
                (portRef CI (instanceRef ZC_isZero_wg_cy_8__))
              )
            )
            (net (rename ZC_isZero_wg_lut_8_ "ZC/isZero_wg_lut<8>")
              (joined
                (portRef O (instanceRef ZC_isZero_wg_lut_8__))
                (portRef S (instanceRef ZC_isZero_wg_cy_8__))
              )
            )
            (net (rename ZC_isZero_wg_cy_8_ "ZC/isZero_wg_cy<8>")
              (joined
                (portRef O (instanceRef ZC_isZero_wg_cy_8__))
                (portRef CI (instanceRef ZC_isZero_wg_cy_9__))
              )
            )
            (net (rename ZC_isZero_wg_lut_9_ "ZC/isZero_wg_lut<9>")
              (joined
                (portRef O (instanceRef ZC_isZero_wg_lut_9__))
                (portRef S (instanceRef ZC_isZero_wg_cy_9__))
              )
            )
            (net (rename ZC_isZero_wg_cy_9_ "ZC/isZero_wg_cy<9>")
              (joined
                (portRef O (instanceRef ZC_isZero_wg_cy_9__))
                (portRef CI (instanceRef ZC_isZero_wg_cy_10__))
              )
            )
            (net (rename ZC_isZero_wg_lut_10_ "ZC/isZero_wg_lut<10>")
              (joined
                (portRef S (instanceRef ZC_isZero_wg_cy_10__))
                (portRef O (instanceRef ZC_isZero_wg_lut_10__))
              )
            )
            (net N2
              (joined
                (portRef O (instanceRef NC_yCheck_G_compute_G_tmp_0__SW0))
                (portRef I5 (instanceRef NC_yCheck_G_compute_G_tmp_0__))
              )
            )
            (net (rename NC_isNan "NC/isNan")
              (joined
                (portRef O (instanceRef NC_isNan1_renamed_0))
                (portRef I2 (instanceRef NC_isNan2_renamed_1))
              )
            )
            (net (rename NC_isNan1 "NC/isNan1")
              (joined
                (portRef O (instanceRef NC_isNan2_renamed_1))
                (portRef I1 (instanceRef NC_isNan13))
              )
            )
            (net (rename NC_isNan2 "NC/isNan2")
              (joined
                (portRef O (instanceRef NC_isNan3_renamed_2))
                (portRef I2 (instanceRef NC_isNan7_renamed_6))
              )
            )
            (net (rename NC_isNan3 "NC/isNan3")
              (joined
                (portRef O (instanceRef NC_isNan4_renamed_3))
                (portRef I5 (instanceRef NC_isNan7_renamed_6))
              )
            )
            (net (rename NC_isNan4 "NC/isNan4")
              (joined
                (portRef O (instanceRef NC_isNan5_renamed_4))
                (portRef I0 (instanceRef NC_isNan7_renamed_6))
              )
            )
            (net (rename NC_isNan5 "NC/isNan5")
              (joined
                (portRef O (instanceRef NC_isNan6_renamed_5))
                (portRef I1 (instanceRef NC_isNan7_renamed_6))
              )
            )
            (net (rename NC_isNan6 "NC/isNan6")
              (joined
                (portRef O (instanceRef NC_isNan7_renamed_6))
                (portRef I5 (instanceRef NC_isNan13))
              )
            )
            (net (rename NC_isNan7 "NC/isNan7")
              (joined
                (portRef O (instanceRef NC_isNan8_renamed_7))
                (portRef I2 (instanceRef NC_isNan12))
              )
            )
            (net (rename NC_isNan8 "NC/isNan8")
              (joined
                (portRef O (instanceRef NC_isNan9_renamed_8))
                (portRef I5 (instanceRef NC_isNan12))
              )
            )
            (net (rename NC_isNan9 "NC/isNan9")
              (joined
                (portRef O (instanceRef NC_isNan10_renamed_9))
                (portRef I0 (instanceRef NC_isNan12))
              )
            )
            (net (rename NC_isNan10 "NC/isNan10")
              (joined
                (portRef O (instanceRef NC_isNan11_renamed_10))
                (portRef I1 (instanceRef NC_isNan12))
              )
            )
            (net (rename NC_isNan11 "NC/isNan11")
              (joined
                (portRef O (instanceRef NC_isNan12))
                (portRef I4 (instanceRef NC_isNan13))
              )
            )
            (net (rename X_31_ "X<31>")
              (joined
                (portRef (member X 0))
                (portRef I (instanceRef X_31_IBUF_renamed_11))
              )
            )
            (net (rename X_30_ "X<30>")
              (joined
                (portRef (member X 1))
                (portRef I (instanceRef X_30_IBUF_renamed_12))
              )
            )
            (net (rename X_29_ "X<29>")
              (joined
                (portRef (member X 2))
                (portRef I (instanceRef X_29_IBUF_renamed_13))
              )
            )
            (net (rename X_28_ "X<28>")
              (joined
                (portRef (member X 3))
                (portRef I (instanceRef X_28_IBUF_renamed_14))
              )
            )
            (net (rename X_27_ "X<27>")
              (joined
                (portRef (member X 4))
                (portRef I (instanceRef X_27_IBUF_renamed_15))
              )
            )
            (net (rename X_26_ "X<26>")
              (joined
                (portRef (member X 5))
                (portRef I (instanceRef X_26_IBUF_renamed_16))
              )
            )
            (net (rename X_25_ "X<25>")
              (joined
                (portRef (member X 6))
                (portRef I (instanceRef X_25_IBUF_renamed_17))
              )
            )
            (net (rename X_24_ "X<24>")
              (joined
                (portRef (member X 7))
                (portRef I (instanceRef X_24_IBUF_renamed_18))
              )
            )
            (net (rename X_23_ "X<23>")
              (joined
                (portRef (member X 8))
                (portRef I (instanceRef X_23_IBUF_renamed_19))
              )
            )
            (net (rename X_22_ "X<22>")
              (joined
                (portRef (member X 9))
                (portRef I (instanceRef X_22_IBUF_renamed_20))
              )
            )
            (net (rename X_21_ "X<21>")
              (joined
                (portRef (member X 10))
                (portRef I (instanceRef X_21_IBUF_renamed_21))
              )
            )
            (net (rename X_20_ "X<20>")
              (joined
                (portRef (member X 11))
                (portRef I (instanceRef X_20_IBUF_renamed_22))
              )
            )
            (net (rename X_19_ "X<19>")
              (joined
                (portRef (member X 12))
                (portRef I (instanceRef X_19_IBUF_renamed_23))
              )
            )
            (net (rename X_18_ "X<18>")
              (joined
                (portRef (member X 13))
                (portRef I (instanceRef X_18_IBUF_renamed_24))
              )
            )
            (net (rename X_17_ "X<17>")
              (joined
                (portRef (member X 14))
                (portRef I (instanceRef X_17_IBUF_renamed_25))
              )
            )
            (net (rename X_16_ "X<16>")
              (joined
                (portRef (member X 15))
                (portRef I (instanceRef X_16_IBUF_renamed_26))
              )
            )
            (net (rename X_15_ "X<15>")
              (joined
                (portRef (member X 16))
                (portRef I (instanceRef X_15_IBUF_renamed_27))
              )
            )
            (net (rename X_14_ "X<14>")
              (joined
                (portRef (member X 17))
                (portRef I (instanceRef X_14_IBUF_renamed_28))
              )
            )
            (net (rename X_13_ "X<13>")
              (joined
                (portRef (member X 18))
                (portRef I (instanceRef X_13_IBUF_renamed_29))
              )
            )
            (net (rename X_12_ "X<12>")
              (joined
                (portRef (member X 19))
                (portRef I (instanceRef X_12_IBUF_renamed_30))
              )
            )
            (net (rename X_11_ "X<11>")
              (joined
                (portRef (member X 20))
                (portRef I (instanceRef X_11_IBUF_renamed_31))
              )
            )
            (net (rename X_10_ "X<10>")
              (joined
                (portRef (member X 21))
                (portRef I (instanceRef X_10_IBUF_renamed_32))
              )
            )
            (net (rename X_9_ "X<9>")
              (joined
                (portRef (member X 22))
                (portRef I (instanceRef X_9_IBUF_renamed_33))
              )
            )
            (net (rename X_8_ "X<8>")
              (joined
                (portRef (member X 23))
                (portRef I (instanceRef X_8_IBUF_renamed_34))
              )
            )
            (net (rename X_7_ "X<7>")
              (joined
                (portRef (member X 24))
                (portRef I (instanceRef X_7_IBUF_renamed_35))
              )
            )
            (net (rename X_6_ "X<6>")
              (joined
                (portRef (member X 25))
                (portRef I (instanceRef X_6_IBUF_renamed_36))
              )
            )
            (net (rename X_5_ "X<5>")
              (joined
                (portRef (member X 26))
                (portRef I (instanceRef X_5_IBUF_renamed_37))
              )
            )
            (net (rename X_4_ "X<4>")
              (joined
                (portRef (member X 27))
                (portRef I (instanceRef X_4_IBUF_renamed_38))
              )
            )
            (net (rename X_3_ "X<3>")
              (joined
                (portRef (member X 28))
                (portRef I (instanceRef X_3_IBUF_renamed_39))
              )
            )
            (net (rename X_2_ "X<2>")
              (joined
                (portRef (member X 29))
                (portRef I (instanceRef X_2_IBUF_renamed_40))
              )
            )
            (net (rename X_1_ "X<1>")
              (joined
                (portRef (member X 30))
                (portRef I (instanceRef X_1_IBUF_renamed_41))
              )
            )
            (net (rename X_0_ "X<0>")
              (joined
                (portRef (member X 31))
                (portRef I (instanceRef X_0_IBUF_renamed_42))
              )
            )
            (net (rename Y_31_ "Y<31>")
              (joined
                (portRef (member Y 0))
                (portRef I (instanceRef Y_31_IBUF_renamed_43))
              )
            )
            (net (rename Y_30_ "Y<30>")
              (joined
                (portRef (member Y 1))
                (portRef I (instanceRef Y_30_IBUF_renamed_44))
              )
            )
            (net (rename Y_29_ "Y<29>")
              (joined
                (portRef (member Y 2))
                (portRef I (instanceRef Y_29_IBUF_renamed_45))
              )
            )
            (net (rename Y_28_ "Y<28>")
              (joined
                (portRef (member Y 3))
                (portRef I (instanceRef Y_28_IBUF_renamed_46))
              )
            )
            (net (rename Y_27_ "Y<27>")
              (joined
                (portRef (member Y 4))
                (portRef I (instanceRef Y_27_IBUF_renamed_47))
              )
            )
            (net (rename Y_26_ "Y<26>")
              (joined
                (portRef (member Y 5))
                (portRef I (instanceRef Y_26_IBUF_renamed_48))
              )
            )
            (net (rename Y_25_ "Y<25>")
              (joined
                (portRef (member Y 6))
                (portRef I (instanceRef Y_25_IBUF_renamed_49))
              )
            )
            (net (rename Y_24_ "Y<24>")
              (joined
                (portRef (member Y 7))
                (portRef I (instanceRef Y_24_IBUF_renamed_50))
              )
            )
            (net (rename Y_23_ "Y<23>")
              (joined
                (portRef (member Y 8))
                (portRef I (instanceRef Y_23_IBUF_renamed_51))
              )
            )
            (net (rename Y_22_ "Y<22>")
              (joined
                (portRef (member Y 9))
                (portRef I (instanceRef Y_22_IBUF_renamed_52))
              )
            )
            (net (rename Y_21_ "Y<21>")
              (joined
                (portRef (member Y 10))
                (portRef I (instanceRef Y_21_IBUF_renamed_53))
              )
            )
            (net (rename Y_20_ "Y<20>")
              (joined
                (portRef (member Y 11))
                (portRef I (instanceRef Y_20_IBUF_renamed_54))
              )
            )
            (net (rename Y_19_ "Y<19>")
              (joined
                (portRef (member Y 12))
                (portRef I (instanceRef Y_19_IBUF_renamed_55))
              )
            )
            (net (rename Y_18_ "Y<18>")
              (joined
                (portRef (member Y 13))
                (portRef I (instanceRef Y_18_IBUF_renamed_56))
              )
            )
            (net (rename Y_17_ "Y<17>")
              (joined
                (portRef (member Y 14))
                (portRef I (instanceRef Y_17_IBUF_renamed_57))
              )
            )
            (net (rename Y_16_ "Y<16>")
              (joined
                (portRef (member Y 15))
                (portRef I (instanceRef Y_16_IBUF_renamed_58))
              )
            )
            (net (rename Y_15_ "Y<15>")
              (joined
                (portRef (member Y 16))
                (portRef I (instanceRef Y_15_IBUF_renamed_59))
              )
            )
            (net (rename Y_14_ "Y<14>")
              (joined
                (portRef (member Y 17))
                (portRef I (instanceRef Y_14_IBUF_renamed_60))
              )
            )
            (net (rename Y_13_ "Y<13>")
              (joined
                (portRef (member Y 18))
                (portRef I (instanceRef Y_13_IBUF_renamed_61))
              )
            )
            (net (rename Y_12_ "Y<12>")
              (joined
                (portRef (member Y 19))
                (portRef I (instanceRef Y_12_IBUF_renamed_62))
              )
            )
            (net (rename Y_11_ "Y<11>")
              (joined
                (portRef (member Y 20))
                (portRef I (instanceRef Y_11_IBUF_renamed_63))
              )
            )
            (net (rename Y_10_ "Y<10>")
              (joined
                (portRef (member Y 21))
                (portRef I (instanceRef Y_10_IBUF_renamed_64))
              )
            )
            (net (rename Y_9_ "Y<9>")
              (joined
                (portRef (member Y 22))
                (portRef I (instanceRef Y_9_IBUF_renamed_65))
              )
            )
            (net (rename Y_8_ "Y<8>")
              (joined
                (portRef (member Y 23))
                (portRef I (instanceRef Y_8_IBUF_renamed_66))
              )
            )
            (net (rename Y_7_ "Y<7>")
              (joined
                (portRef (member Y 24))
                (portRef I (instanceRef Y_7_IBUF_renamed_67))
              )
            )
            (net (rename Y_6_ "Y<6>")
              (joined
                (portRef (member Y 25))
                (portRef I (instanceRef Y_6_IBUF_renamed_68))
              )
            )
            (net (rename Y_5_ "Y<5>")
              (joined
                (portRef (member Y 26))
                (portRef I (instanceRef Y_5_IBUF_renamed_69))
              )
            )
            (net (rename Y_4_ "Y<4>")
              (joined
                (portRef (member Y 27))
                (portRef I (instanceRef Y_4_IBUF_renamed_70))
              )
            )
            (net (rename Y_3_ "Y<3>")
              (joined
                (portRef (member Y 28))
                (portRef I (instanceRef Y_3_IBUF_renamed_71))
              )
            )
            (net (rename Y_2_ "Y<2>")
              (joined
                (portRef (member Y 29))
                (portRef I (instanceRef Y_2_IBUF_renamed_72))
              )
            )
            (net (rename Y_1_ "Y<1>")
              (joined
                (portRef (member Y 30))
                (portRef I (instanceRef Y_1_IBUF_renamed_73))
              )
            )
            (net (rename Y_0_ "Y<0>")
              (joined
                (portRef (member Y 31))
                (portRef I (instanceRef Y_0_IBUF_renamed_74))
              )
            )
            (net isNaN
              (joined
                (portRef isNaN)
                (portRef O (instanceRef isNaN_OBUF_renamed_75))
              )
            )
            (net isZero
              (joined
                (portRef isZero)
                (portRef O (instanceRef isZero_OBUF_renamed_76))
              )
            )
          )
      )
    )
  )

  (design SpecialCasesCheck
    (cellRef SpecialCasesCheck
      (libraryRef SpecialCasesCheck_lib)
    )
    (property PART (string "xa6slx4-3-csg225") (owner "Xilinx"))
  )
)