Hardware.KansasLava.VGA.Driver

Contents

• Generic VGA driver
• Timing parameters for predefined VGA modes

Synopsis

• data VGAParams w h = VGAParams {
  • vgaHorizTiming :: VGATiming w
  • vgaVertTiming :: VGATiming h
  }
• data VGATiming a = VGATiming {
  • visibleSize :: Unsigned a
  • pre :: Unsigned a
  • syncPulse :: Unsigned a
  • post :: Unsigned a
  }
• data VGADriverIn clk r g b = VGADriverIn {
  • vgaInR :: Signal clk r
  • vgaInG :: Signal clk g
  • vgaInB :: Signal clk b
  }
• data VGADriverOut clk w h r g b = VGADriverOut {
  • vgaOut :: VGA clk r g b
  • vgaOutClkPhase :: Signal clk Bool
  • vgaOutVBlank :: Signal clk Bool
  • vgaOutX :: Signal clk (Enabled (Unsigned w))
  • vgaOutY :: Signal clk (Enabled (Unsigned h))
  }
• driveVGA :: (Clock clk, Rep r, Rep g, Rep b, Size w, Size h) => VGAParams w h -> VGADriverIn clk r g b -> VGADriverOut clk w h r g b
• vga640x480at60 :: VGAParams X10 X10

Generic VGA driver

Timing parameters for predefined VGA modes