← Search

Rongliang Fu

2 accepted papers

2026

AnalogVerifier: A Neuro-Symbolic Framework for Analog Circuit Verification

ICML 2026poster

Analog circuits constitute the indispensable interface between physical reality and digital computation, underpinning safety-critical systems from autonomous driving to medical implants. Consequently, verification correctness is paramount; yet, it remains the critical bottleneck in hardware design, …

Cited by 0SourceScholar
2026

Expert-level Leaf Cell Layout Generation via Preference-Optimized LLM

ICML 2026poster

In the field of integrated circuits, leaf cells are the basic units, serving as the fundamental building blocks (e.g., standard cells) that are widely reused in various VLSI designs, forming the basis for more complex circuits. Therefore, the design quality of leaf cell layouts significantly impacts…

Cited by 0SourceScholar