An Algorithm for Finding Secondary Assignments of Synchronous Sequential Circuits | IEEE Journals & Magazine | IEEE Xplore