An efficient heuristic approach to state encoding for PLA-based sequential circuits | IEEE Conference Publication | IEEE Xplore