Efficient state reduction methods for PLA-based sequential circuits | Publicación