Decomposing specifications with concurrent outputs to resolve state coding conflicts in asynchronous logic synthesis | IEEE Conference Publication | IEEE Xplore