de.edf

该工程文件实现ARM系统中CPLD的逻辑工作

(edif de
  (edifVersion 2 0 0)
  (edifLevel 0)
  (keywordMap (keywordLevel 0))
  (status (written
    (timeStamp 2002 11 29 17 30 1)
    (program "blif2net" (version "iSE 1.00"))))

  (external xilinx
    (edifLevel 0)
    (technology (numberDefinition))

    (cell NAND4B2
      (cellType GENERIC)
      (view NetList
        (viewType NETLIST)
        (interface
          (port I0 (direction INPUT))
          (port I1 (direction INPUT))
          (port I2 (direction INPUT))
          (port I3 (direction INPUT))
          (port O (direction OUTPUT))
        )
      )
    )

    (cell NAND4B4
      (cellType GENERIC)
      (view NetList
        (viewType NETLIST)
        (interface
          (port I0 (direction INPUT))
          (port I1 (direction INPUT))
          (port I2 (direction INPUT))
          (port I3 (direction INPUT))
          (port O (direction OUTPUT))
        )
      )
    )
  )

  (library de
    (edifLevel 0)
    (technology (numberDefinition))

    (cell de
      (cellType GENERIC)
      (property OPTIMIZE (string "balance"))
      (view NetList
        (viewType NETLIST)
        (interface
          (port a22 (direction INPUT))
          (port a21 (direction INPUT))
          (port a20 (direction INPUT))
          (port extce (direction INPUT))
          (port hpice (direction OUTPUT))
          (port nicce (direction OUTPUT))
        )

        (contents
          (instance GATE_hpice_I_1 (viewRef NetList (cellRef NAND4B2 (libraryRef xilinx))))
          (instance GATE_nicce_I_1 (viewRef NetList (cellRef NAND4B4 (libraryRef xilinx))))

          (net a22 (joined
            (portRef a22)
            (portRef I1 (instanceRef GATE_hpice_I_1))
            (portRef I1 (instanceRef GATE_nicce_I_1))
          ))

          (net a21 (joined
            (portRef a21)
            (portRef I2 (instanceRef GATE_hpice_I_1))
            (portRef I2 (instanceRef GATE_nicce_I_1))
          ))

          (net a20 (joined
            (portRef a20)
            (portRef I3 (instanceRef GATE_hpice_I_1))
            (portRef I3 (instanceRef GATE_nicce_I_1))
          ))

          (net extce (joined
            (portRef extce)
            (portRef I0 (instanceRef GATE_hpice_I_1))
            (portRef I0 (instanceRef GATE_nicce_I_1))
          ))

          (net hpice (joined
            (portRef hpice)
            (portRef O (instanceRef GATE_hpice_I_1))
          ))

          (net nicce (joined
            (portRef nicce)
            (portRef O (instanceRef GATE_nicce_I_1))
          ))
        )
      )
    )
  )

  (design de (cellRef de (libraryRef de)))
)