Performance estimation and slack matching for pipelined asynchronous architectures with choice