VGA IP Core using a dual-port BRAM as a frame buffer