Zhang, Hongce

1. RTLCoder: Outperforming GPT-3.5 in Design RTL Generation with Our Open-Source Dataset and Lightweight Solution
   2023/12/14 by Shang Liu, Liu, Shang, Wenji Fang +9 · 24 citations
   Computer Science · #Advanced Data Storage Technologies #Error Correcting Code Techniques #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Machine Learning and Algorithms #Programming Languages (cs.PL)
2. AssertLLM: Generating Hardware Verification Assertions from Design Specifications via Multi-LLMs
   2024/11/04 by Zhiyuan Yan, Wenji Fang, Yan, Zhiyuan +11 · 18 citations
   Computer Science · Engineering · #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Real-time simulation and control systems #Software Reliability and Analysis Research #Software Testing and Debugging Techniques
3. AssertLLM: Generating and Evaluating Hardware Verification Assertions from Design Specifications via Multi-LLMs
   2024/02/01 by Wenji Fang, Mengming Li, Fang, Wenji +11 · 11 citations
   Computer Science · #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Software Engineering Research #Software Reliability and Analysis Research #Software Testing and Debugging Techniques
4. MasterRTL: A Pre-Synthesis PPA Estimation Framework for Any RTL Design
   2023/11/14 by Fang, Wenji, Lu, Yao, Liu, Shang +5 · 9 citations
   #FOS: Computer and information sciences #Hardware Architecture (cs.AR)
5. E-Syn: E-Graph Rewriting with Technology-Aware Cost Functions for Logic Synthesis
   2024/03/21 by Chen Chen, Guangyu Hu, Chen, Chen +9 · 6 citations
   Computer Science · #Model-Driven Software Engineering Techniques #Logic, programming, and type systems #Formal Methods in Verification
6. Annotating Slack Directly on Your Verilog: Fine-Grained RTL Timing Evaluation for Early Optimization
   2024/03/27 by Wenji Fang, Fang, Wenji, Shang Liu +5 · 4 citations
   Computer Science · Engineering · #FOS: Computer and information sciences #Flexible and Reconfigurable Manufacturing Systems #Formal Methods in Verification #Hardware Architecture (cs.AR)
7. NetTAG: A Multimodal RTL-and-Layout-Aligned Netlist Foundation Model via Text-Attributed Graph
   2025/04/12 by Wenji Fang, Fang, Wenji, Wenkai Li +9 · 4 citations
   Computer Science · #Semantic Web and Ontologies #Graph Theory and Algorithms #Advanced Graph Neural Networks
8. E-morphic: Scalable Equality Saturation for Structural Exploration in Logic Synthesis
   2025/04/15 by Chen Chen, Guoxiong Hu, Chen, Chen +7 · 3 citations
   Engineering · Computer Science · #VLSI and FPGA Design Techniques #Embedded Systems Design Techniques #Low-power high-performance VLSI design
9. FORWORD: Accelerating Formal Datapath Verification via Word-Level Sweeping
   2025/07/02 by Yang, Ziyi, Hu, Guangyu, Zhou, Xiaofeng +4 · 1 citation
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)