Now it synthesizes to timing specification, but it doesn't pass tests.