Correction [to "Some techniques of state assignment for synchronous sequential machines"] | IEEE Journals & Magazine | IEEE Xplore