Logic Synthesis (LS) plays a vital role in chip design--a cornerstone of the semiconductor industry. A key task in LS is to transform circuits--modeled by directed acyclic graphs (DAGs) …
X Li, X Li, L Chen, X Zhang, M Yuan, J Wang - snowkylin.github.io
Despite the significant advancements in next token prediction models, they are often considered less promising for logic tasks that demand exact precision. In this study, we …