MiniTNtk: An Exact Synthesis-based Method for Minimizing Transistor Network
Published in IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 2023
The first SAT-based exact synthesis formulation for minimizing transistor networks.
Published in IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 2023
The first SAT-based exact synthesis formulation for minimizing transistor networks.