PONO: Power Optimization with Near Optimal SMT-based Sub-circuit Generation

Published in Design Automation Conference (DAC), 2024