Synthesis of delay-insensitive circuits by refinement into atomic threads | IEEE Conference Publication | IEEE Xplore