vga.edf

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

(edif (rename vga "VGA")
  (edifVersion 2 0 0)
  (edifLevel 0)
  (keywordMap (keywordLevel 0))
  (status
    (written
      (timeStamp 2005 12 30 16 52 19)
      (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 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 LATCH (cellType GENERIC)
      (property area (integer 1))
       (view prim (viewType NETLIST)
         (interface
           (port D (direction INPUT)
           (property fanout_load (integer 1))
 )
           (port GE (direction INPUT)
           (property fanout_load (integer 1))
 )
           (port G (direction INPUT)
           (property fanout_load (integer 1))
 )
           (port Q (direction OUTPUT)
           (property function (string "IQ"))
 )
         )
        (property area (integer 1))
       )
    )
  )
  (library work
    (edifLevel 0)
    (technology (numberDefinition ))
    (cell (rename vga "VGA") (cellType GENERIC)
       (view a (viewType NETLIST)
         (interface
           (port (array (rename h_count "h_count(10:0)") 11) (direction INPUT))
           (port (array (rename v_count "v_count(10:0)") 11) (direction INPUT))
           (port (array (rename pixel_row "pixel_row(10:0)") 11) (direction OUTPUT))
           (port (array (rename pixel_column "pixel_column(10:0)") 11) (direction OUTPUT))
           (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))
           (port hload (direction OUTPUT))
           (port vclk (direction OUTPUT))
           (port vload (direction OUTPUT))
         )
         (contents
          (instance TRGND (viewRef prim (cellRef GND (libraryRef Triscend)))          )
          (instance TRVCC (viewRef prim (cellRef VCC (libraryRef Triscend)))          )
            (instance N_111_i (viewRef prim (cellRef LUT4 (libraryRef Triscend)))
 (property EQ (string "(~I0*I1*~I2)")))
            (instance N_113_i (viewRef prim (cellRef LUT4 (libraryRef Triscend)))
 (property EQ (string "(~I0*I1*~I2)")))
            (instance N_115_i (viewRef prim (cellRef LUT4 (libraryRef Triscend)))
 (property EQ (string "(~I0*I1*~I2)")))
            (instance G_137_144 (viewRef prim (cellRef LUT4 (libraryRef Triscend)))
 (property EQ (string "(I2)+(I1)+(I0)")))
            (instance G_140 (viewRef prim (cellRef LUT4 (libraryRef Triscend)))
 (property EQ (string "(~I0)+(~I1)")))
            (instance G_128 (viewRef prim (cellRef LUT4 (libraryRef Triscend)))
 (property EQ (string "(~I0*~I1)")))
            (instance G_127 (viewRef prim (cellRef LUT4 (libraryRef Triscend)))
 (property EQ (string "(~I0*~I1)")))
            (instance G_103 (viewRef prim (cellRef LUT4 (libraryRef Triscend)))
 (property EQ (string "(~I0*I1*I2)")))
            (instance G_102 (viewRef prim (cellRef LUT4 (libraryRef Triscend)))
 (property EQ (string "(I0*I1)")))
            (instance N_121_i (viewRef prim (cellRef LUT4 (libraryRef Triscend)))
 (property EQ (string "(~I0*~I1)")))
            (instance N_151_i (viewRef prim (cellRef LUT4 (libraryRef Triscend)))
 (property EQ (string "(~I0)+(~I1*~I2)")))
          (instance (rename pixel_columnZ0Z_0 "pixel_column[0]") (viewRef prim (cellRef LATCH (libraryRef Triscend)))
          )
          (instance (rename pixel_columnZ0Z_1 "pixel_column[1]") (viewRef prim (cellRef LATCH (libraryRef Triscend)))
          )
          (instance (rename pixel_columnZ0Z_2 "pixel_column[2]") (viewRef prim (cellRef LATCH (libraryRef Triscend)))
          )
          (instance (rename pixel_columnZ0Z_3 "pixel_column[3]") (viewRef prim (cellRef LATCH (libraryRef Triscend)))
          )
          (instance (rename pixel_columnZ0Z_4 "pixel_column[4]") (viewRef prim (cellRef LATCH (libraryRef Triscend)))
          )
          (instance (rename pixel_columnZ0Z_5 "pixel_column[5]") (viewRef prim (cellRef LATCH (libraryRef Triscend)))
          )
          (instance (rename pixel_columnZ0Z_6 "pixel_column[6]") (viewRef prim (cellRef LATCH (libraryRef Triscend)))
          )
          (instance (rename pixel_columnZ0Z_7 "pixel_column[7]") (viewRef prim (cellRef LATCH (libraryRef Triscend)))
          )
          (instance (rename pixel_columnZ0Z_8 "pixel_column[8]") (viewRef prim (cellRef LATCH (libraryRef Triscend)))
          )
          (instance (rename pixel_columnZ0Z_9 "pixel_column[9]") (viewRef prim (cellRef LATCH (libraryRef Triscend)))
          )
          (instance (rename pixel_columnZ0Z_10 "pixel_column[10]") (viewRef prim (cellRef LATCH (libraryRef Triscend)))
          )
          (instance (rename pixel_rowZ0Z_0 "pixel_row[0]") (viewRef prim (cellRef LATCH (libraryRef Triscend)))
          )
          (instance (rename pixel_rowZ0Z_1 "pixel_row[1]") (viewRef prim (cellRef LATCH (libraryRef Triscend)))
          )
          (instance (rename pixel_rowZ0Z_2 "pixel_row[2]") (viewRef prim (cellRef LATCH (libraryRef Triscend)))
          )
          (instance (rename pixel_rowZ0Z_3 "pixel_row[3]") (viewRef prim (cellRef LATCH (libraryRef Triscend)))
          )
          (instance (rename pixel_rowZ0Z_4 "pixel_row[4]") (viewRef prim (cellRef LATCH (libraryRef Triscend)))
          )
          (instance (rename pixel_rowZ0Z_5 "pixel_row[5]") (viewRef prim (cellRef LATCH (libraryRef Triscend)))
          )
          (instance (rename pixel_rowZ0Z_6 "pixel_row[6]") (viewRef prim (cellRef LATCH (libraryRef Triscend)))
          )
          (instance (rename pixel_rowZ0Z_7 "pixel_row[7]") (viewRef prim (cellRef LATCH (libraryRef Triscend)))
          )
          (instance (rename pixel_rowZ0Z_8 "pixel_row[8]") (viewRef prim (cellRef LATCH (libraryRef Triscend)))
          )
          (instance (rename pixel_rowZ0Z_9 "pixel_row[9]") (viewRef prim (cellRef LATCH (libraryRef Triscend)))
          )
          (instance (rename pixel_rowZ0Z_10 "pixel_row[10]") (viewRef prim (cellRef LATCH (libraryRef Triscend)))
          )
            (instance G_124_154 (viewRef prim (cellRef LUT5 (libraryRef Triscend)))
 (property EQ (string "(I0*I1*I2*I3*I4)")))
            (instance un12_i_i_and2 (viewRef prim (cellRef LUT4 (libraryRef Triscend)))
 (property EQ (string "(~I0*I3)+(~I0*I2)+(~I0*I1)")))
            (instance G_133 (viewRef prim (cellRef LUT4 (libraryRef Triscend)))
 (property EQ (string "(I3)+(I2)+(I1)+(I0)")))
            (instance red_out_i_or2 (viewRef prim (cellRef LUT4 (libraryRef Triscend)))
 (property EQ (string "(I1*I3)+(I0)+(I1*I2)")))
            (instance horiz_sync5_0_and2 (viewRef prim (cellRef LUT4 (libraryRef Triscend)))
 (property EQ (string "(I0*I2*I3)+(~I1*I2*I3)")))
            (instance un3_h_count_0_and2 (viewRef prim (cellRef LUT4 (libraryRef Triscend)))
 (property EQ (string "(I0*I1*~I2*I3)")))
            (instance un6_h_count_0_and2 (viewRef prim (cellRef LUT4 (libraryRef Triscend)))
 (property EQ (string "(I0*I1*~I2*I3)")))
            (instance horiz_sync5_0_and2_2 (viewRef prim (cellRef LUT4 (libraryRef Triscend)))
 (property EQ (string "(I0*I1*I2*I3)")))
            (instance G_124 (viewRef prim (cellRef LUT4 (libraryRef Triscend)))
 (property EQ (string "(I0*I2*I3)+(I0*I1)")))
            (instance vload4_i_146 (viewRef prim (cellRef LUT4 (libraryRef Triscend)))
 (property EQ (string "(I0*I1)+(I2*~I3)")))
            (instance vload4_i_147 (viewRef prim (cellRef LUT4 (libraryRef Triscend)))
 (property EQ (string "(I0)+(~I1*~I2*~I3)")))
            (instance vload4_i_149 (viewRef prim (cellRef LUT4 (libraryRef Triscend)))
 (property EQ (string "(I1)+(~I0)+(~I2*~I3)")))
            (instance vert_sync4_0_and2_157 (viewRef prim (cellRef LUT4 (libraryRef Triscend)))
 (property EQ (string "(I0*I1*~I2*~I3)")))
            (instance vload4_i_and2_3_161 (viewRef prim (cellRef LUT4 (libraryRef Triscend)))
 (property EQ (string "(~I0*~I1*I2*~I3)")))
            (instance vload4_i_and2_2_163 (viewRef prim (cellRef LUT4 (libraryRef Triscend)))
 (property EQ (string "(~I0*~I1*~I2*~I3)")))
            (instance horiz_sync5_0_165 (viewRef prim (cellRef LUT4 (libraryRef Triscend)))
 (property EQ (string "(I2*I3)+(I0)+(I1*I2)")))
            (instance horiz_sync5_0_and2_3_169 (viewRef prim (cellRef LUT4 (libraryRef Triscend)))
 (property EQ (string "(I0*~I1*I2*I3)")))
            (instance un6_h_count_0_and2_172 (viewRef prim (cellRef LUT4 (libraryRef Triscend)))
 (property EQ (string "(I0*~I1*I2*I3)")))
            (instance un3_h_count_0_and2_176 (viewRef prim (cellRef LUT4 (libraryRef Triscend)))
 (property EQ (string "(I0*I1*I2*~I3)")))
            (instance un3_h_count_0_and2_178 (viewRef prim (cellRef LUT4 (libraryRef Triscend)))
 (property EQ (string "(~I0*I1*I2*I3)")))
            (instance N_117_i (viewRef prim (cellRef LUT4 (libraryRef Triscend)))
 (property EQ (string "(I0*~I1*I2)+(I0*~I1*~I3)")))
            (instance vert_sync4_i (viewRef prim (cellRef LUT4 (libraryRef Triscend)))
 (property EQ (string "(I2*I3)+(I0)+(~I1)+(~I2*~I3)")))
            (instance horiz_sync5_i (viewRef prim (cellRef LUT4 (libraryRef Triscend)))
 (property EQ (string "(~I0*~I1*~I2)+(~I0*~I1*~I3)")))