Experiments on the synthesis and testability of non-scanfinite state machines