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

Sunan Zou, Guojie Luo. PONO: Power Optimization with Near Optimal SMT-based Sub-circuit Generation. In Vivek De, editor, Proceedings of the 61st ACM/IEEE Design Automation Conference, DAC 2024, San Francisco, CA, USA, June 23-27, 2024. ACM, 2024. [doi]

Abstract

Abstract is missing.