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

Sunkanghong Wang

dblp:392/1604 · DBLP profile ↗
← Back
1ranked-venue papers
1as first author
1since 2021 · last 2026
0009-0000-2003-2112ORCID · reported

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

Systems, architecture and hardware · 1 · 1 first-author · 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.1