On Mon, Feb 27, 2023 at 11:44:48AM +0000, Jiaxun Yang wrote: > > so not seen on real hardware ? > > It was discovered on FPGA and then I tried to debug with simulation to > reveal what’s going on hardware side. ic, I think the best fix would be to do a write_c0_compare(cnt - 1). Subtracting COMPARE_INT_SEEN_TICKS feels like overkill to me. Thomas. -- Crap can work. Given enough thrust pigs will fly, but it's not necessarily a good idea. [ RFC1925, 2.3 ]