Decomposing specifications with concurrent outputs to resolve state coding conflicts in asynchronous logic synthesis.

Hemangee K. Kapoor, Mark B. Josephs

Browse the full DAC paper archive.