counter10.edn

该程序实现的是10进制的计数器

(edif counter_10
  (edifVersion 2 0 0)
  (edifLevel 0)
  (keywordMap (keywordLevel 0))
  (status
    (written
      (timeStamp 2005 11 1 20 53 43)
      (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))
       )
    )
  )
  (library work
    (edifLevel 0)
    (technology (numberDefinition ))
    (cell counter_10 (cellType GENERIC)
       (view counter10_arch (viewType NETLIST)
         (interface
           (port (array (rename bcd "bcd(3:0)") 4) (direction OUTPUT))
           (port reset (direction INPUT))
           (port up_enable (direction INPUT))
           (port clk (direction INPUT))
           (port (rename count_0 "count[0]") (direction OUTPUT))
         )
         (contents
          (instance (rename bcd_pad_3 "bcd_pad[3]") (viewRef prim (cellRef OB33PH (libraryRef A500K)))          )
          (instance (rename bcd_pad_2 "bcd_pad[2]") (viewRef prim (cellRef OB33PH (libraryRef A500K)))          )
          (instance (rename bcd_pad_1 "bcd_pad[1]") (viewRef prim (cellRef OB33PH (libraryRef A500K)))          )
          (instance (rename bcd_pad_0 "bcd_pad[0]") (viewRef prim (cellRef OB33PH (libraryRef A500K)))          )
          (instance (rename count_pad_0 "count_pad[0]") (viewRef prim (cellRef OB33PH (libraryRef A500K)))          )
          (instance PWR_i (viewRef prim (cellRef PWR (libraryRef A500K)))          )
          (instance GND_i (viewRef prim (cellRef GND (libraryRef A500K)))          )
          (net reset (joined
           (portRef reset)
          ))
          (net up_enable (joined
           (portRef up_enable)
          ))
          (net clk (joined
           (portRef clk)
          ))
          (net (rename count_0 "count[0]") (joined
           (portRef PAD (instanceRef count_pad_0))
           (portRef count_0)
          ))
          (net (rename bcd_0 "bcd[0]") (joined
           (portRef PAD (instanceRef bcd_pad_0))
           (portRef (member bcd 3))
          ))
          (net (rename bcd_1 "bcd[1]") (joined
           (portRef PAD (instanceRef bcd_pad_1))
           (portRef (member bcd 2))
          ))
          (net (rename bcd_2 "bcd[2]") (joined
           (portRef PAD (instanceRef bcd_pad_2))
           (portRef (member bcd 1))
          ))
          (net (rename bcd_3 "bcd[3]") (joined
           (portRef PAD (instanceRef bcd_pad_3))
           (portRef (member bcd 0))
          ))
          (net GND (joined
           (portRef Y (instanceRef GND_i))
           (portRef A (instanceRef count_pad_0))
           (portRef A (instanceRef bcd_pad_0))
           (portRef A (instanceRef bcd_pad_1))
           (portRef A (instanceRef bcd_pad_2))
           (portRef A (instanceRef bcd_pad_3))
          ))
          (net VCC (joined
           (portRef Y (instanceRef PWR_i))
          ))
         )
       )
    )
  )
  (design counter_10 (cellRef counter_10 (libraryRef work)))
)