7
Publications
273
Citations
7
H-Index
2023
Active since
Zhiyao Xie is an author at Hong Kong University of Science and Technology specializing in computer science, engineering, and formal methods.
Top concepts
EngineeringComputer ScienceFormal MethodsSoftware DesignProgram AnalysisParallel ComputingComputer EngineeringSoftware EngineeringComputer ArchitectureDesign
Publications per year
2023–2024
7
7
RTLLM: An Open-Source Benchmark for Design RTL Generation with Large Language Model
Yao Lu, Shang Liu, Qijun Zhang et al. · 2024 · 115 citations
MasterRTL: A Pre-Synthesis PPA Estimation Framework for Any RTL Design
Wenji Fang, Yao Lu, Shang Liu et al. · 2023 · 23 citations
Hardware Modeling, Engineering, Hardware Verification Language +21
Rows per page
1–5 of 7