Designing an asynchronous microcontroller using {Pipefitter}.