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

Cheng-Shen Han

dblp:95/9830 · DBLP profile ↗
← Back
2ranked-venue papers
1as first author
0since 2021 · last 2012
—ORCID · none

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

Systems, architecture and hardware · 1Software engineering, systems software and programming languages · 1 · 1 first-authorTheory of computation · 1 · 1 first-author

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.

Theoretical computer science
1 paper
Automated reasoning and model checking · 62% Mathematical optimization · 38%
Computer architecture, parallel and distributed computing, and storage systems
1 paper
Electronic design automation · 100%

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

TopicWeightPapersLastEvidence papers
Automated reasoning and model checking
satisfiability
0.112012
When Boolean Satisfiability Meets Gaussian Elimination in a Simplex Way · CAV 2012
Electronic design automation › physical design
clock network synthesis
0.112011
An Effective and Efficient Framework for Clock Latency Range Aware Clock Network Synthesis · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2011
Mathematical optimization
linear programming
0.012012
When Boolean Satisfiability Meets Gaussian Elimination in a Simplex Way · CAV 2012
Mathematical optimization › linear programming
simplex method
0.012012
When Boolean Satisfiability Meets Gaussian Elimination in a Simplex Way · CAV 2012
Electronic design automation › physical design › interconnect optimization
buffer insertion and wire sizing
0.012011
An Effective and Efficient Framework for Clock Latency Range Aware Clock Network Synthesis · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2011
Electronic design automation
physical design
0.012011
An Effective and Efficient Framework for Clock Latency Range Aware Clock Network Synthesis · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2011

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

simplex method · 0.1gaussian elimination · 0.1slew-constrained buffering · 0.1obstacle avoidance · 0.1deferred-merge embedding · 0.1
YearPublicationVenuePosition
2012 When Boolean Satisfiability Meets Gaussian Elimination in a Simplex Way
Cheng-Shen Han, Jie-Hong Roland Jiang
CAV1
2011 An Effective and Efficient Framework for Clock Latency Range Aware Clock Network Synthesis
abstract
In this paper, we present an effective and efficient framework to minimize clock latency range (CLR), which is a crucial objective measuring the process variability of the high-performance clock network. An enhanced deferred-merge embedding algorithm is proposed to handle the skew and slew constraints simultaneously. Besides, instead of using traditional buffering methods that consider only capacitance loading, we adopt slew-constrained buffering for more accurate results. To explore the variation effect with different combinations of buffers and wires in terms of CLR, we design an experiment to examine it and propose an effective buffer and wire sizing scheme. In addition, obstacle avoidance handling is included in our framework. Experimental results show that our framework achieves the best results in terms of CLR compared with any other team in the 2009 ACM ISPD clock network synthesis contest and four state-of-the-art works.
Sheng Chou, Cheng-Shen Han, Po-Kai Huang, Ko-Fan Tien, Tsung-Yi Ho
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.2