most citedHDLdebugger: Streamlining HDL debugging with Large Language Models

4 citations · 5 across the 3 of their papers we have counts for

collaborators
Showing cs.AIShow all

1 paper · 1 filter

cs.AI2024★ 1 cited

IB-Net: Initial Branch Network for Variable Decision in Boolean Satisfiability

Tsz Ho Chan, Wenyi Xiao, Junhua Huang +3

Boolean Satisfiability problems are vital components in Electronic Design Automation, particularly within the Logic Equivalence Checking process. Currently, SAT solvers are employe…