Bluespec H.264 Decoder