Hardware.KansasLava.VGA.Driver

Generic VGA driver

data VGAParams w h

Constructors

VGAParams

Fields

vgaHorizTiming :: VGATiming w

vgaVertTiming :: VGATiming h

data VGATiming a

Constructors

VGATiming

Fields

visibleSize :: Unsigned a

pre :: Unsigned a

syncPulse :: Unsigned a

post :: Unsigned a

data VGADriverIn clk r g b

Constructors

VGADriverIn

Fields

vgaInR :: Signal clk r

vgaInG :: Signal clk g

vgaInB :: Signal clk b

data VGADriverOut clk w h r g b

Constructors

VGADriverOut

Fields

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

Arguments

:: (Clock clk, Rep n, Eq n, Num n, Bounded n, Rep r, Rep g, Rep b, Size w, Size h)

=> Witness n

clock divider

-> VGAParams w h

-> VGADriverIn clk r g b

-> VGADriverOut clk w h r g b

Timing parameters for predefined VGA modes

vga640x480at60 :: VGAParams X10 X10

VGA 640*480@60Hz, 25.175 MHz pixel clock

vga800x600at72 :: VGAParams X11 X10

VGA 800x600@72Hz, 50 MHz pixel clock

vga800x600at60 :: VGAParams X11 X10

VGA 800x600@60Hz, 40 MHz pixel clock