vgaf.edf

vga显示驱动,在EDA中实现对VGA显示器的驱动控制。

(edif (rename vgaf "VGA")
  (edifVersion 2 0 0)
  (edifLevel 0)
  (keywordMap (keywordLevel 0))
  (status
    (written
      (timeStamp 2005 12 23 16 58 53)
      (author "Synplicity, Inc.")
      (program "" (version "7.3, Build 206R"))
     )
   )
  (library Triscend
    (edifLevel 0)
    (technology (numberDefinition ))
    (cell GND (cellType GENERIC)
      (property area (integer 0))
      (property dont_touch (string "true"))
       (view prim (viewType NETLIST)
         (interface
           (port O (direction OUTPUT)
           (property function (string "0"))
 )
         )
        (property area (integer 0))
       )
    )
    (cell VCC (cellType GENERIC)
      (property area (integer 0))
      (property dont_touch (string "true"))
       (view prim (viewType NETLIST)
         (interface
           (port O (direction OUTPUT)
           (property function (string "1"))
 )
         )
        (property area (integer 0))
       )
    )
    (cell INV (cellType GENERIC)
      (property area (integer 0))
      (property dont_touch (string "true"))
       (view prim (viewType NETLIST)
         (interface
           (port I (direction INPUT)
 )
           (port O (direction OUTPUT)
           (property function (string "!I"))
 )
         )
        (property area (integer 0))
       )
    )
    (cell ADD1 (cellType GENERIC)
      (property area (integer 1))
      (property dont_use (string "true"))
      (property dont_touch (string "true"))
       (view prim (viewType NETLIST)
         (interface
           (port X (direction INPUT)
           (property fanout_load (integer 1))
 )
           (port Y (direction INPUT)
           (property fanout_load (integer 1))
 )
           (port DI (direction INPUT)
           (property fanout_load (integer 1))
 )
           (port LD (direction INPUT)
           (property fanout_load (integer 1))
 )
           (port CI (direction INPUT)
           (property fanout_load (integer 1))
 )
           (port CO (direction OUTPUT)
           (property function (string "(LD * CI) + (LD' * ((X * Y)  + (X * CI) + (Y * CI)))"))
 )
           (port SUM (direction OUTPUT)
           (property function (string "(LD * DI) + (LD' * (X ^ Y ^ CI))"))
 )
         )
        (property area (integer 1))
       )
    )
    (cell LUT5 (cellType GENERIC)
      (property area (integer 2))
       (view prim (viewType NETLIST)
         (interface
           (port I0 (direction INPUT)
           (property fanout_load (integer 1))
 )
           (port I1 (direction INPUT)
           (property fanout_load (integer 1))
 )
           (port I2 (direction INPUT)
           (property fanout_load (integer 1))
 )
           (port I3 (direction INPUT)
           (property fanout_load (integer 1))
 )
           (port I4 (direction INPUT)
           (property fanout_load (integer 1))
 )
           (port O (direction OUTPUT)
           (property function (string "L"))
 )
         )
        (property area (integer 2))
       )
    )
    (cell LUT4 (cellType GENERIC)
      (property area (integer 1))
       (view prim (viewType NETLIST)
         (interface
           (port I0 (direction INPUT)
           (property fanout_load (integer 1))
 )
           (port I1 (direction INPUT)
           (property fanout_load (integer 1))
 )
           (port I2 (direction INPUT)
           (property fanout_load (integer 1))
 )
           (port I3 (direction INPUT)
           (property fanout_load (integer 1))
 )
           (port O (direction OUTPUT)
           (property function (string "L"))
 )
         )
        (property area (integer 1))
       )
    )
    (cell DFFC (cellType GENERIC)
      (property area (integer 1))
       (view prim (viewType NETLIST)
         (interface
           (port Q (direction OUTPUT)
           (property function (string "IQ"))
 )
           (port D (direction INPUT)
           (property fanout_load (integer 1))
 )
           (port CK (direction INPUT)
           (property clock_gate_clock_pin (string "true"))
           (property fanout_load (integer 1))
           (property clock (integer 1))
 )
           (port CLR (direction INPUT)
           (property fanout_load (integer 1))
 )
           (port EN (direction INPUT)
           (property fanout_load (integer 1))
 )
         )
        (property area (integer 1))
       )
    )
  )
  (library work
    (edifLevel 0)
    (technology (numberDefinition ))
    (cell (rename vgaf "VGA") (cellType GENERIC)
       (view a (viewType NETLIST)
         (interface
           (port (array (rename pixel_row "pixel_row(9:0)") 10) (direction OUTPUT))
           (port (array (rename pixel_column "pixel_column(9:0)") 10) (direction OUTPUT))
           (port (array (rename z "z(9:0)") 10) (direction OUTPUT))
           (port clock_25Mhz (direction INPUT)
 )
           (port red (direction INPUT))
           (port green (direction INPUT))
           (port blue (direction INPUT))
           (port red_out (direction OUTPUT))
           (port green_out (direction OUTPUT))
           (port blue_out (direction OUTPUT))
           (port horiz_sync_out (direction OUTPUT))
           (port vert_sync_out (direction OUTPUT))
         )
         (contents
          (instance true (viewRef prim (cellRef VCC (libraryRef Triscend)))          )
          (instance false (viewRef prim (cellRef GND (libraryRef Triscend)))          )
            (instance G_71_i (viewRef prim (cellRef LUT4 (libraryRef Triscend)))
 (property EQ (string "(~I0)+(~I1*~I2)")))
            (instance G_162 (viewRef prim (cellRef LUT4 (libraryRef Triscend)))
 (property EQ (string "(~I0)+(~I1)")))
            (instance G_164 (viewRef prim (cellRef LUT4 (libraryRef Triscend)))
 (property EQ (string "(~I0)+(~I1)+(~I2)")))
            (instance G_167 (viewRef prim (cellRef LUT4 (libraryRef Triscend)))
 (property EQ (string "(I1)+(I0)")))
            (instance red_out_1_0_and2 (viewRef prim (cellRef LUT4 (libraryRef Triscend)))
 (property EQ (string "(I0*I1*I2)")))
            (instance green_out_1_0_and2 (viewRef prim (cellRef LUT4 (libraryRef Triscend)))
 (property EQ (string "(I0*I1*I2)")))
            (instance blue_out_1_0_and2 (viewRef prim (cellRef LUT4 (libraryRef Triscend)))
 (property EQ (string "(I0*I1*I2)")))
            (instance un12_i (viewRef prim (cellRef LUT4 (libraryRef Triscend)))
 (property EQ (string "(~I0*~I1)")))
          (instance N_211_i (viewRef prim (cellRef INV (libraryRef Triscend)))          )
            (instance I_141_i_or2 (viewRef prim (cellRef LUT5 (libraryRef Triscend)))
 (property EQ (string "(~I2)+(~I0*I1*~I3*~I4)")))
            (instance N_199_i (viewRef prim (cellRef LUT4 (libraryRef Triscend)))
 (property EQ (string "(~I0*I1*~I2)+(~I0*I1*~I3)")))
            (instance N_193_i (viewRef prim (cellRef LUT4 (libraryRef Triscend)))
 (property EQ (string "(I0*I3)+(I0*~I1)+(I0*~I2)")))
            (instance N_195_i (viewRef prim (cellRef LUT4 (libraryRef Triscend)))
 (property EQ (string "(I0*I3)+(I0*~I1)+(I0*~I2)")))
            (instance N_197_i (viewRef prim (cellRef LUT4 (libraryRef Triscend)))
 (property EQ (string "(I0*I3)+(I0*~I1)+(I0*~I2)")))
            (instance vert_sync4_i (viewRef prim (cellRef LUT4 (libraryRef Triscend)))
 (property EQ (string "(I2*I3)+(~I0)+(~I1)+(~I2*~I3)")))
            (instance G_21_i_mux2 (viewRef prim (cellRef LUT4 (libraryRef Triscend)))
 (property EQ (string "(I0*I2)+(~I1*I2)+(I0*I1)+(I0*~I3)+(~I1*~I3)")))
            (instance G_158 (viewRef prim (cellRef LUT4 (libraryRef Triscend)))
 (property EQ (string "(~I0*I1)+(~I0*I2*~I3)")))
            (instance horiz_sync5_i_0 (viewRef prim (cellRef LUT4 (libraryRef Triscend)))
 (property EQ (string "(I2)+(I0)+(~I1)+(~I3)")))
            (instance horiz_sync5_i_0_and2 (viewRef prim (cellRef LUT4 (libraryRef Triscend)))
 (property EQ (string "(I0*~I1*~I2*~I3)")))
            (instance G_175 (viewRef prim (cellRef LUT4 (libraryRef Triscend)))
 (property EQ (string "(I0*I1*I2*I3)")))
            (instance horiz_sync5_i_0_186 (viewRef prim (cellRef LUT4 (libraryRef Triscend)))
 (property EQ (string "(I0*I1*I2*I3)+(~I0*~I1*~I2)")))
            (instance horiz_sync5_i_0_188 (viewRef prim (cellRef LUT4 (libraryRef Triscend)))
 (property EQ (string "(I1)+(I0)+(~I2*I3)")))
            (instance G_156_199 (viewRef prim (cellRef LUT4 (libraryRef Triscend)))
 (property EQ (string "(~I0*~I1*~I2)+(~I0*~I1*~I3)")))
            (instance vert_sync4_0_and2_202 (viewRef prim (cellRef LUT4 (libraryRef Triscend)))
 (property EQ (string "(I0*~I1*I2*~I3)")))
            (instance h_count_4_i_and2_5_207 (viewRef prim (cellRef LUT4 (libraryRef Triscend)))
 (property EQ (string "(I0*~I1*I2*~I3)")))
            (instance h_count_4_i_and2_5_208 (viewRef prim (cellRef LUT4 (libraryRef Triscend)))
 (property EQ (string "(I0*~I1*I2*I3)")))
          (instance (rename red_outZ0 "red_out") (viewRef prim (cellRef DFFC (libraryRef Triscend)))
          )
          (instance (rename green_outZ0 "green_out") (viewRef prim (cellRef DFFC (libraryRef Triscend)))
          )
          (instance (rename blue_outZ0 "blue_out") (viewRef prim (cellRef DFFC (libraryRef Triscend)))
          )
          (instance (rename horiz_sync_outZ0 "horiz_sync_out") (viewRef prim (cellRef DFFC (libraryRef Triscend)))
          )
          (instance vert_sync (viewRef prim (cellRef DFFC (libraryRef Triscend)))
          )
          (instance horiz_sync (viewRef prim (cellRef DFFC (libraryRef Triscend)))
          )
          (instance video_on_v (viewRef prim (cellRef DFFC (libraryRef Triscend)))
          )
          (instance video_on_h (viewRef prim (cellRef DFFC (libraryRef Triscend)))
          )
          (instance (rename vert_sync_outZ0 "vert_sync_out") (viewRef prim (cellRef DFFC (libraryRef Triscend)))
          )
          (instance (rename pixel_columnZ0Z_6 "pixel_column[6]") (viewRef prim (cellRef DFFC (libraryRef Triscend)))
          )
          (instance (rename pixel_columnZ0Z_5 "pixel_column[5]") (viewRef prim (cellRef DFFC (libraryRef Triscend)))
          )
          (instance (rename pixel_columnZ0Z_4 "pixel_column[4]") (viewRef prim (cellRef DFFC (libraryRef Triscend)))
          )
          (instance (rename pixel_columnZ0Z_3 "pixel_column[3]") (viewRef prim (cellRef DFFC (libraryRef Triscend)))
          )
          (instance (rename pixel_columnZ0Z_2 "pixel_column[2]") (viewRef prim (cellRef DFFC (libraryRef Triscend)))
          )
          (instance (rename pixel_columnZ0Z_1 "pixel_column[1]") (viewRef prim (cellRef DFFC (libraryRef Triscend)))
          )
          (instance (rename pixel_columnZ0Z_0 "pixel_column[0]") (viewRef prim (cellRef DFFC (libraryRef Triscend)))
          )
          (instance (rename pixel_rowZ0Z_1 "pixel_row[1]") (viewRef prim (cellRef DFFC (libraryRef Triscend)))
          )
          (instance (rename pixel_rowZ0Z_0 "pixel_row[0]") (viewRef prim (cellRef DFFC (libraryRef Triscend)))
          )
          (instance (rename h_count_9 "h_count[9]") (viewRef prim (cellRef DFFC (libraryRef Triscend)))
          )
          (instance (rename h_count_8 "h_count[8]") (viewRef prim (cellRef DFFC (libraryRef Triscend)))
          )
          (instance (rename h_count_7 "h_count[7]") (viewRef prim (cellRef DFFC (libraryRef Triscend)))
          )
          (instance (rename h_count_6 "h_count[6]") (viewRef prim (cellRef DFFC (libraryRef Triscend)))
          )
          (instance (rename h_count_5 "h_count[5]") (viewRef prim (cellRef DFFC (libraryRef Triscend)))
          )
          (instance (rename h_count_4 "h_count[4]") (viewRef prim (cellRef DFFC (libraryRef Triscend)))
          )
          (instance (rename h_count_3 "h_count[3]") (viewRef prim (cellRef DFFC (libraryRef Triscend)))
          )
          (instance (rename h_count_2 "h_count[2]") (viewRef prim (cellRef DFFC (libraryRef Triscend)))
          )
          (instance (rename h_count_1 "h_count[1]") (viewRef prim (cellRef DFFC (libraryRef Triscend)))
          )