not_and.edn

该程序实现的是n位全加器

(edif add_full_n
  (edifVersion 2 0 0)
  (edifLevel 0)
  (keywordMap (keywordLevel 0))
  (status
    (written
      (timeStamp 2005 11 1 17 53 27)
      (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))
       )
    )
  )
  (library work
    (edifLevel 0)
    (technology (numberDefinition ))
    (cell add_full (cellType GENERIC)
       (view syn_black_box (viewType NETLIST)
         (interface
           (port x (direction INPUT))
           (port y (direction INPUT))
           (port c_in (direction INPUT))
           (port s (direction OUTPUT))
           (port c_out (direction OUTPUT))
         )
       )
    )
    (cell add_full_n (cellType GENERIC)
       (view arch_add_full_n (viewType NETLIST)
         (interface
           (port (array (rename x "x(7:0)") 8) (direction INPUT))
           (port (array (rename y "y(7:0)") 8) (direction INPUT))
           (port (array (rename s "s(7:0)") 8) (direction OUTPUT))
           (port c_in (direction INPUT))
           (port c_out (direction OUTPUT))
         )
         (contents
          (instance c_out_pad (viewRef prim (cellRef OB33PH (libraryRef A500K)))          )
          (instance (rename s_pad_7 "s_pad[7]") (viewRef prim (cellRef OB33PH (libraryRef A500K)))          )
          (instance (rename s_pad_6 "s_pad[6]") (viewRef prim (cellRef OB33PH (libraryRef A500K)))          )
          (instance (rename s_pad_5 "s_pad[5]") (viewRef prim (cellRef OB33PH (libraryRef A500K)))          )
          (instance (rename s_pad_4 "s_pad[4]") (viewRef prim (cellRef OB33PH (libraryRef A500K)))          )
          (instance (rename s_pad_3 "s_pad[3]") (viewRef prim (cellRef OB33PH (libraryRef A500K)))          )
          (instance (rename s_pad_2 "s_pad[2]") (viewRef prim (cellRef OB33PH (libraryRef A500K)))          )
          (instance (rename s_pad_1 "s_pad[1]") (viewRef prim (cellRef OB33PH (libraryRef A500K)))          )
          (instance (rename s_pad_0 "s_pad[0]") (viewRef prim (cellRef OB33PH (libraryRef A500K)))          )
          (instance c_in_pad (viewRef prim (cellRef IB33 (libraryRef A500K)))
          )
          (instance (rename y_pad_7 "y_pad[7]") (viewRef prim (cellRef IB33 (libraryRef A500K)))
          )
          (instance (rename y_pad_6 "y_pad[6]") (viewRef prim (cellRef IB33 (libraryRef A500K)))
          )
          (instance (rename y_pad_5 "y_pad[5]") (viewRef prim (cellRef IB33 (libraryRef A500K)))
          )
          (instance (rename y_pad_4 "y_pad[4]") (viewRef prim (cellRef IB33 (libraryRef A500K)))
          )
          (instance (rename y_pad_3 "y_pad[3]") (viewRef prim (cellRef IB33 (libraryRef A500K)))
          )
          (instance (rename y_pad_2 "y_pad[2]") (viewRef prim (cellRef IB33 (libraryRef A500K)))
          )
          (instance (rename y_pad_1 "y_pad[1]") (viewRef prim (cellRef IB33 (libraryRef A500K)))
          )
          (instance (rename y_pad_0 "y_pad[0]") (viewRef prim (cellRef IB33 (libraryRef A500K)))
          )
          (instance (rename x_pad_7 "x_pad[7]") (viewRef prim (cellRef IB33 (libraryRef A500K)))
          )
          (instance (rename x_pad_6 "x_pad[6]") (viewRef prim (cellRef IB33 (libraryRef A500K)))
          )
          (instance (rename x_pad_5 "x_pad[5]") (viewRef prim (cellRef IB33 (libraryRef A500K)))
          )
          (instance (rename x_pad_4 "x_pad[4]") (viewRef prim (cellRef IB33 (libraryRef A500K)))
          )
          (instance (rename x_pad_3 "x_pad[3]") (viewRef prim (cellRef IB33 (libraryRef A500K)))
          )
          (instance (rename x_pad_2 "x_pad[2]") (viewRef prim (cellRef IB33 (libraryRef A500K)))
          )
          (instance (rename x_pad_1 "x_pad[1]") (viewRef prim (cellRef IB33 (libraryRef A500K)))
          )
          (instance (rename x_pad_0 "x_pad[0]") (viewRef prim (cellRef IB33 (libraryRef A500K)))
          )
          (instance gen_4_middle_middle_cell (viewRef syn_black_box (cellRef add_full))
           (property not_a_hier_inst (string "gen.4.middle."))
          )
          (instance gen_1_middle_middle_cell (viewRef syn_black_box (cellRef add_full))
           (property not_a_hier_inst (string "gen.1.middle."))
          )
          (instance gen_6_middle_middle_cell (viewRef syn_black_box (cellRef add_full))
           (property not_a_hier_inst (string "gen.6.middle."))
          )
          (instance gen_3_middle_middle_cell (viewRef syn_black_box (cellRef add_full))
           (property not_a_hier_inst (string "gen.3.middle."))
          )
          (instance gen_2_middle_middle_cell (viewRef syn_black_box (cellRef add_full))
           (property not_a_hier_inst (string "gen.2.middle."))
          )
          (instance gen_5_middle_middle_cell (viewRef syn_black_box (cellRef add_full))
           (property not_a_hier_inst (string "gen.5.middle."))
          )
          (instance gen_7_last_last_cell (viewRef syn_black_box (cellRef add_full))
           (property not_a_hier_inst (string "gen.7.last."))
          )
          (instance gen_0_first_first_cell (viewRef syn_black_box (cellRef add_full))
           (property not_a_hier_inst (string "gen.0.first."))
          )
          (instance PWR_i (viewRef prim (cellRef PWR (libraryRef A500K)))          )
          (instance GND_i (viewRef prim (cellRef GND (libraryRef A500K)))          )
          (net (rename x_0 "x[0]") (joined
           (portRef (member x 7))
           (portRef PAD (instanceRef x_pad_0))
          ))
          (net (rename x_1 "x[1]") (joined
           (portRef (member x 6))
           (portRef PAD (instanceRef x_pad_1))
          ))
          (net (rename x_2 "x[2]") (joined
           (portRef (member x 5))
           (portRef PAD (instanceRef x_pad_2))
          ))
          (net (rename x_3 "x[3]") (joined
           (portRef (member x 4))
           (portRef PAD (instanceRef x_pad_3))
          ))
          (net (rename x_4 "x[4]") (joined
           (portRef (member x 3))
           (portRef PAD (instanceRef x_pad_4))
          ))
          (net (rename x_5 "x[5]") (joined
           (portRef (member x 2))
           (portRef PAD (instanceRef x_pad_5))
          ))
          (net (rename x_6 "x[6]") (joined
           (portRef (member x 1))
           (portRef PAD (instanceRef x_pad_6))
          ))
          (net (rename x_7 "x[7]") (joined
           (portRef (member x 0))
           (portRef PAD (instanceRef x_pad_7))
          ))
          (net (rename y_0 "y[0]") (joined
           (portRef (member y 7))
           (portRef PAD (instanceRef y_pad_0))
          ))
          (net (rename y_1 "y[1]") (joined
           (portRef (member y 6))
           (portRef PAD (instanceRef y_pad_1))
          ))
          (net (rename y_2 "y[2]") (joined
           (portRef (member y 5))
           (portRef PAD (instanceRef y_pad_2))
          ))
          (net (rename y_3 "y[3]") (joined
           (portRef (member y 4))
           (portRef PAD (instanceRef y_pad_3))
          ))
          (net (rename y_4 "y[4]") (joined
           (portRef (member y 3))
           (portRef PAD (instanceRef y_pad_4))
          ))