I have a test case, but QC found a problem when pulse sep is 0. Ok the problem is in the writer. I need a general principle to do this. Suppose ready is always high. What is the output? - If not acknowledged, repeat the last one - If acknowledged, use next Yes this is tricky because of the dependences on current and last state. I think it's best to express the separate cases explicitly.