no code implementations • 27 Feb 2023 • Piergiuseppe Mallozzi, Hussein Sibai, Inigo Incer, Sanjit A. Seshia, Alberto Sangiovanni-Vincentelli
It can be thought of as a building block for any design exploration and optimization algorithm.