Update vga.v