An Efficient Critical Race-Free State Assignment Technique for Asynchronous Finite State Machines.

Tam Anh Chu, Narayana Mani, Clement K. C. Leung

Browse the full DAC paper archive.