Efficient rounding of approximate designs | Synapse