aigverse: Toward Machine Learning-Driven Logic Synthesis
Invited Talk, Free Silicon Conference, Frankfurt (Oder), Germany
The integration of machine learning into logic synthesis has long lagged behind, hampered by a fundamental conceptual divide. Logic synthesis demands mathematical precision and guarantees of functional correctness, while machine learning embraces probabilistic reasoning and statistical generalization. This contrast is further exacerbated by a practical ecosystem mismatch: high-performance logic synthesis tools are typically implemented in C/C++, whereas the machine learning community predominantly operates in Python.