armexio.edf

来自「usoc在北京博创兴业有限公司的实验平台s3c2410上运行。 2. 各实验的全」· EDF 代码 · 共 1,132 行 · 第 1/5 页

(edif armExIO
  (edifVersion 2 0 0)
  (edifLevel 0)
  (keywordMap (keywordLevel 0))
  (status
    (written
      (timeStamp 2003 11 24 10 24 35)
      (author "Synplicity, Inc.")
      (program "Synplify Pro" (version "7.3, Build 173R"))
     )
   )
  (library LPM_LIBRARY
    (edifLevel 0)
    (technology (numberDefinition ))
    (cell SYNLPM_LAT1 (cellType GENERIC)
       (view LPM (viewType NETLIST)
         (interface
           (port DATA0 (direction INPUT))
           (port GATE (direction INPUT))
           (port Q0 (direction OUTPUT))
           (property LPM_WIDTH (integer 1))
           (property WIDTH (integer 1))
           (property LPM_TYPE (string "LPM_LATCH"))
           (property syn_force_seq_prim (integer 1))
         )
       )
    )
    (cell SYNLPM_LATR1 (cellType GENERIC)
       (view LPM (viewType NETLIST)
         (interface
           (port DATA0 (direction INPUT))
           (port GATE (direction INPUT))
           (port ACLR (direction INPUT))
           (port Q0 (direction OUTPUT))
           (property LPM_WIDTH (integer 1))
           (property WIDTH (integer 1))
           (property LPM_TYPE (string "LPM_LATCH"))
           (property syn_force_seq_prim (integer 1))
         )
       )
    )
  )
  (library ALTERA_FLEX
    (edifLevel 0)
    (technology (numberDefinition ))
    (cell S_DFFE (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port D (direction INPUT))
           (port CLK (direction INPUT))
           (port CLRN (direction INPUT))
           (port PRN (direction INPUT))
           (port ENA (direction INPUT))
           (port Q (direction OUTPUT))
           (property is_ff (integer 1))
           (property syn_force_seq_prim (string "CLK"))
         )
        (property is_ff (integer 1))
       )
    )
    (cell S_DFF (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port D (direction INPUT))
           (port CLK (direction INPUT))
           (port CLRN (direction INPUT))
           (port PRN (direction INPUT))
           (port Q (direction OUTPUT))
           (property is_ff (integer 1))
           (property syn_gatedclk_equiv_encell (string "S_DFFE"))
           (property syn_force_seq_prim (string "CLK"))
         )
        (property is_ff (integer 1))
       )
    )
    (cell LUT (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port IN1 (direction INPUT))
           (port IN2 (direction INPUT))
           (port IN3 (direction INPUT))
           (port IN4 (direction INPUT))
           (port A_OUT (direction OUTPUT))
         )
       )
    )
    (cell SOFT (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port A_IN (direction INPUT))
           (port A_OUT (direction OUTPUT))
         )
       )
    )
    (cell LCELL (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port A_IN (direction INPUT))
           (port A_OUT (direction OUTPUT))
         )
       )
    )
    (cell CARRY_SUM (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port sin (direction INPUT))
           (port cin (direction INPUT))
           (port sout (direction OUTPUT))
           (port cout (direction OUTPUT))
         )
       )
    )
    (cell CARRY (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port A_IN (direction INPUT))
           (port A_OUT (direction OUTPUT))
         )
       )
    )
    (cell CASCADE (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port A_IN (direction INPUT))
           (port A_OUT (direction OUTPUT))
         )
       )
    )
  )
  (library PrimLib
    (edifLevel 0)
    (technology (numberDefinition ))
    (cell inv1 (cellType GENERIC)
      (view prim (viewType NETLIST)
        (interface
         (port OUT0 (direction OUTPUT))
         (port I0 (direction INPUT))
        )
      )
    )
    (cell tri1 (cellType GENERIC)
      (view prim (viewType NETLIST)
        (interface
         (port OUT0 (direction OUTPUT))
         (port I0 (direction INPUT))
         (port E (direction INPUT))
        )
      )
    )
    (cell and2 (cellType GENERIC)
      (view prim (viewType NETLIST)
        (interface
         (port OUT (direction OUTPUT))
         (port I0 (direction INPUT))
         (port I1 (direction INPUT))
        )
      )
    )
    (cell mux1 (cellType GENERIC)
      (view prim (viewType NETLIST)
        (interface
         (port OUT0 (direction OUTPUT))
         (port A0 (direction INPUT))
         (port B0 (direction INPUT))
         (port SEL (direction INPUT))
        )
      )
    )
  )
  (library LUT_LIB
    (edifLevel 0)
    (technology (numberDefinition ))
    (cell L2_8 (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port I0 (direction INPUT))
           (port I1 (direction INPUT))
           (port Z (direction OUTPUT))
         )
         (contents
          (instance G_1 (viewRef prim (cellref and2 (libraryRef PrimLib))))
          (net I0 (joined
           (portRef I0)
           (portRef I1 (instanceRef G_1))
          ))
          (net I1 (joined
           (portRef I1)
           (portRef I0 (instanceRef G_1))
          ))
          (net Z (joined
           (portRef OUT (instanceRef G_1))
           (portRef Z)
          ))
         )
       )
    )
    (cell L2_2 (cellType GENERIC)
       (view PRIM (viewType NETLIST)
         (interface
           (port I0 (direction INPUT))
           (port I1 (direction INPUT))
           (port Z (direction OUTPUT))
         )
         (contents
          (instance G_1 (viewRef prim (cellref inv1 (libraryRef PrimLib))))
          (instance G_2 (viewRef prim (cellref and2 (libraryRef PrimLib))))
          (net I0 (joined
           (portRef I0)
           (portRef I1 (instanceRef G_2))
          ))
          (net I1 (joined
           (portRef I1)
           (portRef I0 (instanceRef G_1))
          ))
          (net Z (joined
           (portRef OUT (instanceRef G_2))
           (portRef Z)
          ))
          (net N_2 (joined
           (portRef OUT0 (instanceRef G_1))
           (portRef I0 (instanceRef G_2))
          ))
         )
       )
    )
    (cell L3_78 (cellType GENERIC)
       (view PRIM (viewType NETLIST)