Zhiyao Xie

1. PowerNet: Transferable Dynamic IR Drop Estimation via Maximum Convolutional Neural Network
   2020/01/01 by Zhiyao Xie, Haoxing Ren, Brucek Khailany +4 · 2 citations
   Computer Science · Engineering · #Artificial neural network #Constraint (computer-aided design) #Convolutional neural network #Drop (telecommunication) #Low-power high-performance VLSI design #Machine Learning and ELM #Power network design #Speedup #VLSI and Analog Circuit Testing #cs.AR #cs.LG
2. CircuitProver: Agentic Lean 4 Theorem Proving with Reusable Circuit Proof Library for Hardware Verification
   2026/07/29 by Ziyi Yang, Wenji Fang, Chen Chen +2 · 1 voice
   Computer Science · #cs.LO #cs.AR