sub_full_n.edn

该程序实现的N位全减器

(edif sub_full_n
  (edifVersion 2 0 0)
  (edifLevel 0)
  (keywordMap (keywordLevel 0))
  (status
    (written
      (timeStamp 2005 10 31 13 4 11)
      (author "Synplicity, Inc.")
      (program "Synplify Pro" (version "8.1.0, Build 539R"))
     )
   )
  (library A500K
    (edifLevel 0)
    (technology (numberDefinition ))
    (cell GND (cellType GENERIC)
       (view prim (viewType NETLIST)
         (interface
           (port Y (direction OUTPUT))
         )
        (property area (integer 0))
       )
    )
    (cell PWR (cellType GENERIC)
       (view prim (viewType NETLIST)
         (interface
           (port Y (direction OUTPUT))
         )
        (property area (integer 0))
       )
    )
    (cell OB33PH (cellType GENERIC)
       (view prim (viewType NETLIST)
         (interface
           (port PAD (direction OUTPUT))
           (port A (direction INPUT)
           (property load (integer 1))
 )
         )
        (property area (integer 0))
       )
    )
    (cell IB33 (cellType GENERIC)
       (view prim (viewType NETLIST)
         (interface
           (port Y (direction OUTPUT))
           (port PAD (direction INPUT)
           (property load (integer 0))
 )
         )
        (property area (integer 0))
       )
    )
    (cell XOR2FT (cellType GENERIC)
       (view prim (viewType NETLIST)
         (interface
           (port Y (direction OUTPUT))
           (port A (direction INPUT)
           (property load (integer 1))
 )
           (port B (direction INPUT)
           (property load (integer 1))
 )
         )
        (property is_combinational (integer 1))
        (property area (integer 1))
       )
    )
    (cell XOR2 (cellType GENERIC)
       (view prim (viewType NETLIST)
         (interface
           (port Y (direction OUTPUT))
           (port A (direction INPUT)
           (property load (integer 1))
 )
           (port B (direction INPUT)
           (property load (integer 1))
 )
         )
        (property is_combinational (integer 1))
        (property area (integer 1))
       )
    )
    (cell OAI21TTF (cellType GENERIC)
       (view prim (viewType NETLIST)
         (interface
           (port Y (direction OUTPUT))
           (port A (direction INPUT)
           (property load (integer 1))
 )
           (port B (direction INPUT)
           (property load (integer 1))
 )
           (port C (direction INPUT)
           (property load (integer 1))
 )
         )
        (property is_combinational (integer 1))
        (property area (integer 1))
       )
    )
    (cell OAI21FTT (cellType GENERIC)
       (view prim (viewType NETLIST)
         (interface
           (port Y (direction OUTPUT))
           (port A (direction INPUT)
           (property load (integer 1))
 )
           (port B (direction INPUT)
           (property load (integer 1))
 )
           (port C (direction INPUT)
           (property load (integer 1))
 )
         )
        (property is_combinational (integer 1))
        (property area (integer 1))
       )
    )
    (cell OA21TTF (cellType GENERIC)
       (view prim (viewType NETLIST)
         (interface
           (port Y (direction OUTPUT))
           (port A (direction INPUT)
           (property load (integer 1))
 )
           (port B (direction INPUT)
           (property load (integer 1))
 )
           (port C (direction INPUT)
           (property load (integer 1))
 )
         )
        (property is_combinational (integer 1))
        (property area (integer 1))
       )
    )
    (cell OA21FTT (cellType GENERIC)
       (view prim (viewType NETLIST)
         (interface
           (port Y (direction OUTPUT))
           (port A (direction INPUT)
           (property load (integer 1))
 )
           (port B (direction INPUT)
           (property load (integer 1))
 )
           (port C (direction INPUT)
           (property load (integer 1))
 )
         )
        (property is_combinational (integer 1))
        (property area (integer 1))
       )
    )
    (cell AOI21TTF (cellType GENERIC)
       (view prim (viewType NETLIST)
         (interface
           (port Y (direction OUTPUT))
           (port A (direction INPUT)
           (property load (integer 1))
 )
           (port B (direction INPUT)
           (property load (integer 1))
 )
           (port C (direction INPUT)
           (property load (integer 1))
 )
         )
        (property is_combinational (integer 1))
        (property area (integer 1))
       )
    )
    (cell NOR2FT (cellType GENERIC)
       (view prim (viewType NETLIST)
         (interface
           (port Y (direction OUTPUT))
           (port A (direction INPUT)
           (property load (integer 1))
 )
           (port B (direction INPUT)
           (property load (integer 1))
 )
         )
        (property is_combinational (integer 1))
        (property area (integer 1))
       )
    )
  )
  (library work
    (edifLevel 0)
    (technology (numberDefinition ))
    (cell sub_full_gen_0_first_u1_7 (cellType GENERIC)
       (view netlist (viewType NETLIST)
         (interface
           (port (rename y_c_4 "y_c[4]") (direction INPUT))
           (port (rename x_c_4 "x_c[4]") (direction INPUT))
           (port b_out_i_2 (direction OUTPUT))
           (port N_12_i (direction INPUT))
           (port N_5_i_0_i_0 (direction OUTPUT))
         )
         (contents
          (instance z_i_x2 (viewRef prim (cellRef XOR2 (libraryRef A500K)))          )
          (instance z_i_x2_0 (viewRef prim (cellRef XOR2 (libraryRef A500K)))          )
          (instance b_out_i (viewRef prim (cellRef OAI21TTF (libraryRef A500K)))          )
          (instance b_out_i_a3 (viewRef prim (cellRef AOI21TTF (libraryRef A500K)))          )
          (instance PWR_i (viewRef prim (cellRef PWR (libraryRef A500K)))          )
          (instance GND_i (viewRef prim (cellRef GND (libraryRef A500K)))          )
          (net (rename y_c_4 "y_c[4]") (joined
           (portRef y_c_4)
           (portRef B (instanceRef b_out_i_a3))
           (portRef B (instanceRef b_out_i))
           (portRef B (instanceRef z_i_x2_0))
          ))
          (net (rename x_c_4 "x_c[4]") (joined
           (portRef x_c_4)
           (portRef C (instanceRef b_out_i_a3))
           (portRef A (instanceRef z_i_x2_0))
          ))
          (net b_out_i_2 (joined
           (portRef Y (instanceRef b_out_i))
           (portRef b_out_i_2)
          ))
          (net N_12_i (joined
           (portRef N_12_i)
           (portRef A (instanceRef b_out_i_a3))
           (portRef A (instanceRef b_out_i))
           (portRef A (instanceRef z_i_x2))
          ))
          (net N_5_i_0_i_0 (joined
           (portRef Y (instanceRef z_i_x2))
           (portRef N_5_i_0_i_0)
          ))
          (net (rename z_i_x2Z0Z_0 "z_i_x2_0") (joined
           (portRef Y (instanceRef z_i_x2_0))
           (portRef B (instanceRef z_i_x2))
          ))
          (net N_14_i_i (joined
           (portRef Y (instanceRef b_out_i_a3))
           (portRef C (instanceRef b_out_i))
          ))
          (net VCC (joined
           (portRef Y (instanceRef PWR_i))
          ))
          (net GND (joined
           (portRef Y (instanceRef GND_i))
          ))
         )
       )
    )
    (cell sub_full_gen_0_first_u1_6 (cellType GENERIC)
       (view netlist (viewType NETLIST)
         (interface
           (port (rename carry_1 "carry[1]") (direction OUTPUT))
           (port (rename x_c_1 "x_c[1]") (direction INPUT))
           (port (rename y_c_1 "y_c[1]") (direction INPUT))
           (port (rename z_1_c_1 "z_1_c[1]") (direction OUTPUT))
         )
         (contents
          (instance z_0_0_x2_0_x2 (viewRef prim (cellRef XOR2 (libraryRef A500K)))          )
          (instance b_out_0_0_a2_0_a2 (viewRef prim (cellRef NOR2FT (libraryRef A500K)))          )
          (instance PWR_i (viewRef prim (cellRef PWR (libraryRef A500K)))          )
          (instance GND_i (viewRef prim (cellRef GND (libraryRef A500K)))          )
          (net (rename carry_1 "carry[1]") (joined
           (portRef Y (instanceRef b_out_0_0_a2_0_a2))
           (portRef carry_1)
          ))
          (net (rename x_c_1 "x_c[1]") (joined
           (portRef x_c_1)
           (portRef B (instanceRef b_out_0_0_a2_0_a2))
           (portRef B (instanceRef z_0_0_x2_0_x2))
          ))
          (net (rename y_c_1 "y_c[1]") (joined
           (portRef y_c_1)
           (portRef A (instanceRef b_out_0_0_a2_0_a2))
           (portRef A (instanceRef z_0_0_x2_0_x2))
          ))
          (net (rename z_1_c_1 "z_1_c[1]") (joined
           (portRef Y (instanceRef z_0_0_x2_0_x2))
           (portRef z_1_c_1)
          ))
          (net VCC (joined
           (portRef Y (instanceRef PWR_i))
          ))
          (net GND (joined
           (portRef Y (instanceRef GND_i))
          ))
         )
       )
    )
    (cell sub_full_gen_0_first_u1_5 (cellType GENERIC)
       (view netlist (viewType NETLIST)
         (interface
           (port (rename y_c_6 "y_c[6]") (direction INPUT))
           (port (rename x_c_6 "x_c[6]") (direction INPUT))
           (port N_12_i (direction OUTPUT))
           (port b_out_i_0 (direction INPUT))
           (port N_5_i_0_i_0 (direction OUTPUT))
         )
         (contents
          (instance z_i_x2 (viewRef prim (cellRef XOR2 (libraryRef A500K)))          )
          (instance z_i_x2_0 (viewRef prim (cellRef XOR2 (libraryRef A500K)))          )
          (instance b_out_i (viewRef prim (cellRef OA21TTF (libraryRef A500K)))          )
          (instance b_out_i_a3 (viewRef prim (cellRef AOI21TTF (libraryRef A500K)))          )
          (instance PWR_i (viewRef prim (cellRef PWR (libraryRef A500K)))          )
          (instance GND_i (viewRef prim (cellRef GND (libraryRef A500K)))          )
          (net (rename y_c_6 "y_c[6]") (joined
           (portRef y_c_6)
           (portRef B (instanceRef b_out_i_a3))
           (portRef B (instanceRef b_out_i))
           (portRef B (instanceRef z_i_x2_0))
          ))
          (net (rename x_c_6 "x_c[6]") (joined
           (portRef x_c_6)
           (portRef C (instanceRef b_out_i_a3))
           (portRef A (instanceRef z_i_x2_0))