State assignment optimization for synchronous sequential circuits using multiplexer modules | Publicación