Hongce Zhang

456 total citations · 1 hit paper
22 papers, 174 citations indexed

About

Hongce Zhang is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Hardware and Architecture. According to data from OpenAlex, Hongce Zhang has authored 22 papers receiving a total of 174 indexed citations (citations by other indexed papers that have themselves been cited), including 11 papers in Artificial Intelligence, 11 papers in Computational Theory and Mathematics and 8 papers in Hardware and Architecture. Recurrent topics in Hongce Zhang's work include Formal Methods in Verification (9 papers), Embedded Systems Design Techniques (6 papers) and Radiation Effects in Electronics (4 papers). Hongce Zhang is often cited by papers focused on Formal Methods in Verification (9 papers), Embedded Systems Design Techniques (6 papers) and Radiation Effects in Electronics (4 papers). Hongce Zhang collaborates with scholars based in Hong Kong, United States and China. Hongce Zhang's co-authors include Shang Liu, Qijun Zhang, Zhiyao Xie, Aarti Gupta, Sharad Malik, Pramod Subramanyan, Yakir Vizel, Xiaolin Wei, Guangyu Hu and Jing Wang and has published in prestigious journals such as IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Atomization and Sprays and ACM Transactions on Design Automation of Electronic Systems.

In The Last Decade

Hongce Zhang

19 papers receiving 171 citations

Hit Papers

align trajectories

What are hit papers?

Hit papers significantly outperform the citation benchmark for their cohort. A paper qualifies if it has ≥500 total citations, achieves ≥1.5× the top-1% citation threshold for papers in the same subfield and year (this is the minimum needed to enter the top 1%, not the average within it), or reaches the top citation threshold in at least one of its specific research topics.

RTLCoder: Outperforming GPT-3.5 in Design RTL Generation with Our Open-Source Dataset and Lightweight Solution

2024 42 citations Shang Liu, Qijun Zhang et al. Rare & Special e-Zone (The Hong Kong University of Science and Technology) profile →

Peers

Countries citing papers authored by Hongce Zhang

Since Specialization

Citations

This map shows the geographic impact of Hongce Zhang's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Hongce Zhang with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Hongce Zhang more than expected).

Fields of papers citing papers by Hongce Zhang

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Hongce Zhang. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Hongce Zhang. The network helps show where Hongce Zhang may publish in the future.

Co-authorship network of co-authors of Hongce Zhang

This figure shows the co-authorship network connecting the top 25 collaborators of Hongce Zhang. A scholar is included among the top collaborators of Hongce Zhang based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Hongce Zhang. Hongce Zhang is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

#	Work	Indexed citations
1	AssertLLM: Generating Hardware Verification Assertions from Design Specifications via Multi-LLMs 2025 ·Rare & Special e-Zone (The Hong Kong University of Science and Technology) ·Z. Yan, (unknown), (unknown), (unknown), Shang Liu, Zhiyao Xie, Hongce Zhang	3
2	A Self-Supervised, Pre-Trained, and Cross-Stage-Aligned Circuit Encoder Provides a Foundation for Various Design Tasks 2025 ·Rare & Special e-Zone (The Hong Kong University of Science and Technology) ·(unknown), Shang Liu, Hongce Zhang, Zhiyao Xie	2
3	E-morphic: Scalable Equality Saturation for Structural Exploration in Logic Synthesis 2025 ·Rare & Special e-Zone (The Hong Kong University of Science and Technology) ·Chen Chen, Guangyu Hu, Cunxi Yu, Yuzhe Ma, Hongce Zhang	0
4	How Good is Your Property? A New Metric for Formal Property Coverage 2024 ·Rare & Special e-Zone (The Hong Kong University of Science and Technology) ·(unknown), Hongce Zhang	1
5	E-Syn: E-Graph Rewriting with Technology-Aware Cost Functions for Logic Synthesis 2024 ·Rare & Special e-Zone (The Hong Kong University of Science and Technology) ·Chen Chen, Guangyu Hu, (unknown), Cunxi Yu, Yuzhe Ma, Hongce Zhang	7
6	RTLCoder: Fully Open-Source and Efficient LLM-Assisted RTL Code Generation Technique 2024 ·IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems ·Shang Liu, (unknown), (unknown), Jing Wang, Qijun Zhang, Hongce Zhang, Zhiyao Xie	15
7	Annotating Slack Directly on Your Verilog: Fine-Grained RTL Timing Evaluation for Early Optimization 2024 ·Rare & Special e-Zone (The Hong Kong University of Science and Technology) ·(unknown), Shang Liu, Hongce Zhang, Zhiyao Xie	5
8	Transferable Presynthesis PPA Estimation for RTL Designs With Data Augmentation Techniques 2024 ·IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems ·(unknown), (unknown), Shang Liu, Qijun Zhang, (unknown), (unknown), Hongce Zhang, Zhiyao Xie	1
9	RTLCoder: Outperforming GPT-3.5 in Design RTL Generation with Our Open-Source Dataset and Lightweight Solution breakdown → 2024 ·Rare & Special e-Zone (The Hong Kong University of Science and Technology) ·Shang Liu, (unknown), (unknown), Qijun Zhang, Hongce Zhang, (unknown)	42
10	DeepIC3: Guiding IC3 Algorithms by Graph Neural Network Clause Prediction 2024 ·Rare & Special e-Zone (The Hong Kong University of Science and Technology) ·Guangyu Hu, Jianheng Tang, Changyuan Yu, Wei Zhang, Hongce Zhang	1
11	AssertLLM: Generating Hardware Verification Assertions from Design Specifications via Multi-LLMs 2024 ·Rare & Special e-Zone (The Hong Kong University of Science and Technology) ·(unknown), (unknown), (unknown), (unknown), Shang Liu, Hongce Zhang, Zhiyao Xie	24
12	r-map: Relating Implementation and Specification in Hardware Refinement Checking 2023 ·IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems ·(unknown), Guangyu Hu, Hongce Zhang	2
13	INVITED: Generalizing the ISA to the ILA: A Software/Hardware Interface for Accelerator-rich Platforms 2023 ·Rare & Special e-Zone (The Hong Kong University of Science and Technology) ·(unknown), Hongce Zhang, Aarti Gupta, Sharad Malik	0
14	MasterRTL: A Pre-Synthesis PPA Estimation Framework for Any RTL Design 2023 ·Rare & Special e-Zone (The Hong Kong University of Science and Technology) ·(unknown), (unknown), Shang Liu, Qijun Zhang, (unknown), (unknown), Hongce Zhang, (unknown)	11
15	NeuroPDR: Integrating Neural Networks in the PDR Algorithm for Hardware Model Checking 2023 ·Rare & Special e-Zone (The Hong Kong University of Science and Technology) ·Guangyu Hu, Wei Zhang, Hongce Zhang	0
16	Generating Architecture-Level Abstractions from RTL Designs for Processors and Accelerators Part I: Determining Architectural State Variables 2021 ·Rare & Special e-Zone (The Hong Kong University of Science and Technology) ·Y. Zeng, (unknown), Hongce Zhang, Aarti Gupta, Sharad Malik	5
17	In Search for a SAT-friendly Binarized Neural Network Architecture 2020 ·International Conference on Learning Representations ·Nina Narodytska, Hongce Zhang, Aarti Gupta, Toby Walsh	4
18	ILA-MCM: Integrating Memory Consistency Models with Instruction-Level Abstractions for Heterogeneous System-on-Chip Verification 2018 ·Rare & Special e-Zone (The Hong Kong University of Science and Technology) ·Hongce Zhang, Caroline Trippel, (unknown), Aarti Gupta, Margaret Martonosi, Sharad Malik	7
19	Instruction-Level Abstraction (ILA) 2018 ·ACM Transactions on Design Automation of Electronic Systems ·(unknown), Hongce Zhang, Pramod Subramanyan, Yakir Vizel, Aarti Gupta, Sharad Malik	25
20	VISCOSITY, SURFACE TENSION, AND ATOMIZATION OF WATER-METHANOL AND DIESEL EMULSIONS 2005 ·Atomization and Sprays ·(unknown), (unknown), Hongce Zhang, Xiaolin Wei	10

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact