Небольшая хака таймера для приведения в соответствие с тестом
Меняем в 8253.v
0: q <= read_state == 0 ? r_lsb : latched_q[7:0];
на
0: q <= read_state == 0 ? lsbPrev : latched_q[7:0];
и добавляем
reg [7:0] lsbPrev;
always @(posedge ce) lsbPrev<=r_lsb;