An efficient heuristic procedure for solving the state assignment problem for event-based specifications.
Luciano LavagnoCho W. MoonRobert K. BraytonAlberto L. Sangiovanni-VincentelliPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1995)