Unifying synchronous/asynchronous state machine synthesis.

Kenneth Y. Yun, David L. Dill

Browse the full ICCAD paper archive.