Generation of Internal State Assignments for Large Asynchronous Sequential Machines | IEEE Journals & Magazine | IEEE Xplore