ByNobleID
    Experiments on the synthesis and testability of non-scan finite state machines | NobleID