frame_check.v: update