3 papers
math.NT2026
Powered numbers in short intervals II
Tsz Ho Chan
In this article, we derive better results concerning powered numbers in short intervals, both unconditionally and conditionally on the -conjecture. We make use of sieve method…
cs.AR2024
HDLdebugger: Streamlining HDL debugging with Large Language Models
Xufeng Yao, Haoyang Li, Tsz Ho Chan +5
In the domain of chip design, Hardware Description Languages (HDLs) play a pivotal role. However, due to the complex syntax of HDLs and the limited availability of online resources…
cs.AI2024
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…