Abstract: Decomposition is the process of modifying a high-level description of an asynchronous circuit into an equivalent but more concurrent version with the goal of producing more performant ...