uart_test.edn

自己实用Verilog编写的UART程序

(edif uart_test
  (edifVersion 2 0 0)
  (edifLevel 0)
  (keywordMap (keywordLevel 0))
  (status
    (written
      (timeStamp 2007 4 16 8 48 7)
      (author "Synplicity, Inc.")
      (program "Synplify" (version "9.0.0, Build 368R"))
     )
   )
  (library PA3
    (edifLevel 0)
    (technology (numberDefinition ))
    (cell XOR2 (cellType GENERIC)
      (property dont_touch (string "false"))
      (property area (integer 1))
       (view prim (viewType NETLIST)
         (interface
           (port Y (direction OUTPUT)
           (property max_fanout (integer 2000))
           (property function (string "A ^ B"))
 )
           (port A (direction INPUT)
           (property capacitance (integer 1))
 )
           (port B (direction INPUT)
           (property capacitance (integer 1))
 )
         )
        (property is_combinational (integer 1))
        (property area (integer 1))
       )
    )
    (cell XNOR2 (cellType GENERIC)
      (property dont_touch (string "false"))
      (property area (integer 1))
       (view prim (viewType NETLIST)
         (interface
           (port Y (direction OUTPUT)
           (property max_fanout (integer 2000))
           (property function (string "!(A ^ B)"))
 )
           (port A (direction INPUT)
           (property capacitance (integer 1))
 )
           (port B (direction INPUT)
           (property capacitance (integer 1))
 )
         )
        (property is_combinational (integer 1))
        (property area (integer 1))
       )
    )
    (cell VCC (cellType GENERIC)
      (property dont_touch (string "false"))
      (property area (integer 0))
       (view prim (viewType NETLIST)
         (interface
           (port Y (direction OUTPUT)
           (property max_fanout (integer 2000))
           (property function (string "1"))
 )
         )
        (property area (integer 0))
       )
    )
    (cell OUTBUF (cellType GENERIC)
      (property preferred (string "true"))
      (property pad_cell (string "true"))
      (property dont_touch (string "false"))
      (property area (integer 0))
       (view prim (viewType NETLIST)
         (interface
           (port PAD (direction OUTPUT)
           (property max_fanout (integer 2000))
           (property function (string "D"))
           (property drive_current (integer 24))
           (property is_pad (string "true"))
 )
           (port D (direction INPUT)
           (property min_pulse_width_low (integer 2))
           (property min_pulse_width_high (integer 2))
           (property capacitance (integer 1))
 )
         )
        (property area (integer 0))
       )
    )
    (cell OR3C (cellType GENERIC)
      (property dont_touch (string "false"))
      (property area (integer 1))
       (view prim (viewType NETLIST)
         (interface
           (port Y (direction OUTPUT)
           (property max_fanout (integer 2000))
           (property function (string "!A + !B + !C"))
 )
           (port A (direction INPUT)
           (property capacitance (integer 1))
 )
           (port B (direction INPUT)
           (property capacitance (integer 1))
 )
           (port C (direction INPUT)
           (property capacitance (integer 1))
 )
         )
        (property is_combinational (integer 1))
        (property area (integer 1))
       )
    )
    (cell OR3 (cellType GENERIC)
      (property dont_touch (string "false"))
      (property area (integer 1))
       (view prim (viewType NETLIST)
         (interface
           (port Y (direction OUTPUT)
           (property max_fanout (integer 2000))
           (property function (string "A + B + C"))
 )
           (port A (direction INPUT)
           (property capacitance (integer 1))
 )
           (port B (direction INPUT)
           (property capacitance (integer 1))
 )
           (port C (direction INPUT)
           (property capacitance (integer 1))
 )
         )
        (property is_combinational (integer 1))
        (property area (integer 1))
       )
    )
    (cell OR2B (cellType GENERIC)
      (property dont_touch (string "false"))
      (property area (integer 1))
       (view prim (viewType NETLIST)
         (interface
           (port Y (direction OUTPUT)
           (property max_fanout (integer 2000))
           (property function (string "!A + !B"))
 )
           (port A (direction INPUT)
           (property capacitance (integer 1))
 )
           (port B (direction INPUT)
           (property capacitance (integer 1))
 )
         )
        (property is_combinational (integer 1))
        (property area (integer 1))
       )
    )
    (cell OR2A (cellType GENERIC)
      (property dont_touch (string "false"))
      (property area (integer 1))
       (view prim (viewType NETLIST)
         (interface
           (port Y (direction OUTPUT)
           (property max_fanout (integer 2000))
           (property function (string "!A + B"))
 )
           (port A (direction INPUT)
           (property capacitance (integer 1))
 )
           (port B (direction INPUT)
           (property capacitance (integer 1))
 )
         )
        (property is_combinational (integer 1))
        (property area (integer 1))
       )
    )
    (cell OR2 (cellType GENERIC)
      (property dont_touch (string "false"))
      (property area (integer 1))
       (view prim (viewType NETLIST)
         (interface
           (port Y (direction OUTPUT)
           (property max_fanout (integer 2000))
           (property function (string "A + B"))
 )
           (port A (direction INPUT)
           (property capacitance (integer 1))
 )
           (port B (direction INPUT)
           (property capacitance (integer 1))
 )
         )
        (property is_combinational (integer 1))
        (property area (integer 1))
       )
    )
    (cell OAI1 (cellType GENERIC)
      (property dont_touch (string "false"))
      (property area (integer 1))
       (view prim (viewType NETLIST)
         (interface
           (port Y (direction OUTPUT)
           (property max_fanout (integer 2000))
           (property function (string "!((A + B) & C)"))
 )
           (port A (direction INPUT)
           (property capacitance (integer 1))
 )
           (port B (direction INPUT)
           (property capacitance (integer 1))
 )
           (port C (direction INPUT)
           (property capacitance (integer 1))
 )
         )
        (property is_combinational (integer 1))
        (property area (integer 1))
       )
    )
    (cell OA1C (cellType GENERIC)
      (property dont_touch (string "false"))
      (property area (integer 1))
       (view prim (viewType NETLIST)
         (interface
           (port Y (direction OUTPUT)
           (property max_fanout (integer 2000))
           (property function (string "(!A + B) & !C"))
 )
           (port A (direction INPUT)
           (property capacitance (integer 1))
 )
           (port B (direction INPUT)
           (property capacitance (integer 1))
 )
           (port C (direction INPUT)
           (property capacitance (integer 1))
 )
         )
        (property is_combinational (integer 1))
        (property area (integer 1))
       )
    )
    (cell OA1B (cellType GENERIC)
      (property dont_touch (string "false"))
      (property area (integer 1))
       (view prim (viewType NETLIST)
         (interface
           (port Y (direction OUTPUT)
           (property max_fanout (integer 2000))
           (property function (string "!C & (A + B)"))
 )
           (port A (direction INPUT)
           (property capacitance (integer 1))
 )
           (port B (direction INPUT)
           (property capacitance (integer 1))
 )
           (port C (direction INPUT)
           (property capacitance (integer 1))
 )
         )
        (property is_combinational (integer 1))
        (property area (integer 1))
       )
    )
    (cell OA1A (cellType GENERIC)
      (property dont_touch (string "false"))
      (property area (integer 1))
       (view prim (viewType NETLIST)
         (interface
           (port Y (direction OUTPUT)
           (property max_fanout (integer 2000))
           (property function (string "(!A + B) & C"))
 )
           (port A (direction INPUT)
           (property capacitance (integer 1))
 )
           (port B (direction INPUT)
           (property capacitance (integer 1))
 )
           (port C (direction INPUT)
           (property capacitance (integer 1))
 )
         )
        (property is_combinational (integer 1))
        (property area (integer 1))
       )
    )
    (cell OA1 (cellType GENERIC)
      (property dont_touch (string "false"))
      (property area (integer 1))
       (view prim (viewType NETLIST)
         (interface
           (port Y (direction OUTPUT)
           (property max_fanout (integer 2000))
           (property function (string "(A + B) & C"))
 )
           (port A (direction INPUT)
           (property capacitance (integer 1))
 )
           (port B (direction INPUT)
           (property capacitance (integer 1))
 )
           (port C (direction INPUT)
           (property capacitance (integer 1))
 )
         )
        (property is_combinational (integer 1))
        (property area (integer 1))
       )
    )
    (cell NOR3C (cellType GENERIC)
      (property dont_touch (string "false"))
      (property area (integer 1))
       (view prim (viewType NETLIST)
         (interface
           (port Y (direction OUTPUT)
           (property max_fanout (integer 2000))
           (property function (string "!(!A + !B + !C)"))
 )
           (port A (direction INPUT)
           (property capacitance (integer 1))
 )
           (port B (direction INPUT)
           (property capacitance (integer 1))
 )
           (port C (direction INPUT)
           (property capacitance (integer 1))
 )
         )
        (property is_combinational (integer 1))
        (property area (integer 1))