Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Hao Zhang 0068

dblp:55/2270-68 · DBLP profile ↗
← Back
10ranked-venue papers
2as first author
7since 2021 · last 2026
0000-0002-3947-8947ORCID · conflict

Domains — the database's venue-derived domains; a paper can count in several

Artificial intelligence and machine learning · 7 · 1 first-author · 4 since 2021Graphics, computer vision, multimedia, augmented reality and games · 3Systems, architecture and hardware · 2 · 1 first-author · 2 since 2021Databases, data management, data science and information retrieval · 1 · 1 since 2021

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Computer architecture, parallel and distributed computing, and storage systems
1 paper
Electronic design automation · 100%

Topics — the 4 heaviest of 4, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Electronic design automation › physical design › layout pattern analysis
layout pattern matching
1.012026
An Efficient Algorithm for Exact SRAM Verification via Novel Pattern-Matching Techniques · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2026
Electronic design automation › physical design
layout verification
1.012026
An Efficient Algorithm for Exact SRAM Verification via Novel Pattern-Matching Techniques · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2026
Electronic design automation › hardware verification and test
pattern matching
1.012026
An Efficient Algorithm for Exact SRAM Verification via Novel Pattern-Matching Techniques · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2026
Electronic design automation
physical design
1.012026
An Efficient Algorithm for Exact SRAM Verification via Novel Pattern-Matching Techniques · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2026

Methods — techniques the papers use, named apart from their topics

spatial indexing · 1.0overlap detection · 1.0localization techniques · 1.0
YearPublicationVenuePosition
2026 An Efficient Algorithm for Exact SRAM Verification via Novel Pattern-Matching Techniques
abstract
As semiconductor manufacturing advances into ultra-scaled technology nodes, Static Random Access Memory (SRAM) verification faces critical challenges stemming from increasingly stringent geometries, heightened process variability, and the sheer density of contemporary designs. Existing methodologies, notably Design Rule Checking and conventional pattern matching, often fall short in capturing the intricate multilayer interactions and subtle geometric deviations characteristic of advanced SRAM layouts. These limitations can lead to missed layout anomalies and potential functional failures, resulting in diminished yield. This paper introduces a specialized pattern-matching-based algorithm designed to address these challenges in SRAM verification. The algorithm integrates novel localization techniques, efficient spatial indexing, and an overlap detection procedure that together achieve exact verification while delivering substantial improvements in runtime performance. Experimental results confirm that this approach not only maintains 100% detection accuracy on complex SRAM benchmarks but also achieves speedups ranging from threefold to over twentyfold compared to state-of-the-art methods, and from twofold to several thousandfold on classic single-layer pattern matching datasets.
Sunkanghong Wang, Qingsheng Qiu, Hao Zhang 0068, Lijun Wei, Qiang Liu 0031
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.3
2025 Pocket convolution Mamba for brain tumor segmentation
Hao Zhang 0068, Yunhao Zhao, Lianjie Wang, Wenyin Zhang, Yeh-Cheng Chen, Naixue Xiong
J. Supercomput.1
2024 A block-based heuristic search algorithm for the two-dimensional guillotine strip packing problem
Hao Zhang 0068, Shaowen Yao 0003, Shenghui Zhang, Jiewu Leng, Lijun Wei, Qiang Liu 0031
Eng. Appl. Artif. Intell.1
2024 Heuristic approaches for the cutting path problem
Tai Zhang, Shaowen Yao 0003, Qiang Liu 0031, Lijun Wei, Hao Zhang 0068
Expert Syst. Appl.5
2023 Classification model-based assisted preselection and environment selection approach for evolutionary expensive bilevel optimization
Libin Lin, Jiewu Leng, Shaowen Yao 0003, Hao Zhang 0068, Lijun Wei, Qiang Liu 0031
Appl. Intell.5
2023 Combined knowledge transfer and adaptive coordinate systems approach for evolutionary bilevel optimization
Libin Lin, Hao Zhang 0068, Jiewu Leng, Lijun Wei, Qiang Liu 0031
Expert Syst. Appl.3
2023 Classification model-based and assisted environment selection for evolutionary algorithms to solve high-dimensional expensive problems
Libin Lin, Hao Zhang 0068, Naixue Xiong, Jiewu Leng, Lijun Wei, Qiang Liu 0031
Inf. Sci.3
2020 An Enhanced Whale Optimization Algorithm for the Two-Dimensional Irregular Strip Packing Problem
Qiang Liu 0031, Zehui Huang, Hao Zhang 0068, Lijun Wei
IEA/AIE3
2020 A Heuristic Approach to the Three Dimensional Strip Packing Problem Considering Practical Constraints
Qiang Liu 0031, Dehao Lin, Hao Zhang 0068, Lijun Wei
IEA/AIE3
2020 A Heuristic for the Two-Dimensional Irregular Bin Packing Problem with Limited Rotations
Qiang Liu 0031, Jiawei Zeng, Hao Zhang 0068, Lijun Wei
IEA/AIE3