I have not scrutinized the code shown, but believe that it will work in most cases, the problem is that it will be metastable in a few cases. To avoid that the a and b inputs must first be 'demetastabled' (argh, can not se a better word) by Using 2 D registers in series and moving forward only when the two are identical. This, of course require that the clock speed be high enough.

Erik