Synthesis for testability of PLA based finite state machines | Publicación