no code implementations • 6 Mar 2024 • Tsz Ho Chan, Wenyi Xiao, Junhua Huang, HuiLing Zhen, Guangji Tian, Mingxuan Yuan
Boolean Satisfiability problems are vital components in Electronic Design Automation, particularly within the Logic Equivalence Checking process.
1 code implementation • 25 May 2023 • Zhengyuan Shi, Hongyang Pan, Sadaf Khan, Min Li, Yi Liu, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Zhufei Chu, Qiang Xu
Circuit representation learning aims to obtain neural representations of circuit elements and has emerged as a promising research direction that can be applied to various EDA and logic reasoning tasks.
no code implementations • 4 Mar 2023 • Hui-Ling Zhen, Naixing Wang, Junhua Huang, Xinyue Huang, Mingxuan Yuan, Yu Huang
(2) Conflict-driven implication and justification have been applied to increase decision accuracy and solving efficiency.
1 code implementation • 4 Feb 2023 • Yang Li, Xinyan Chen, Wenxuan Guo, Xijun Li, Wanqian Luo, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Junchi Yan
On top of the observations that industrial formulae exhibit clear community structure and oversplit substructures lead to the difficulty in semantic formation of logical structures, we propose HardSATGEN, which introduces a fine-grained control mechanism to the neural split-merge paradigm for SAT formula generation to better recover the structural and computational properties of the industrial benchmarks.
no code implementations • 2 Sep 2022 • Zhengyuan Shi, Min Li, Yi Liu, Sadaf Khan, Junhua Huang, Hui-Ling Zhen, Mingxuan Yuan, Qiang Xu
This paper introduces SATformer, a novel Transformer-based approach for the Boolean Satisfiability (SAT) problem.