OLSQ Acceleration [DAC23]
Date:
- Accelerate SMT-based circuit synthesizer using a succinct formulation, different variable encoding, and efficient optimization techniques.
- Achieve a 692× speedup over the state-of-the-art optimal layout synthesis for depth optimization and a 6,957x speedup for SWAP optimization.