converters, i.e., measurement values can be correctly sorted without resolving metastability using synchronizers first. However, this
work left open whether this can be done by small circuits. We show that this is indeed possible, by providing a circuit that sorts Gray
code inputs (possibly containing a metastable bit) and has asymptotically optimal depth and size. Our solution utilizes the parallel prefix computation (PPC) framework (JACM 1980).