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

Huimei Cheng

dblp:180/3867 · DBLP profile ↗
← Back
6ranked-venue papers
4as first author
1since 2021 · last 2022
0000-0003-1762-7208ORCID · corroborated

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

Systems, architecture and hardware · 6 · 4 first-author · 1 since 2021Software engineering, systems software and programming languages · 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.

Computer architecture, parallel and distributed computing, and storage systems
4 papers
Electronic design automation · 58% Integrated circuit design · 29% Energy-efficient computing · 10%

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

TopicWeightPapersLastEvidence papers
Electronic design automation
logic synthesis
1.542022
Converting Flip-Flop to Clock-Gated 3-Phase Latch-Based Designs Using Graph-Based Retiming · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2022
Automatic Retiming of Two-Phase Latch-Based Resilient Circuits · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2019
Area Optimization of Timing Resilient Designs Using Resynthesis · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2018
Electronic design automation › logic synthesis › sequential circuit optimization
retiming
1.022022
Converting Flip-Flop to Clock-Gated 3-Phase Latch-Based Designs Using Graph-Based Retiming · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2022
Automatic Retiming of Two-Phase Latch-Based Resilient Circuits · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2019
Integrated circuit design
low-power circuit design
0.722022
Converting Flip-Flop to Clock-Gated 3-Phase Latch-Based Designs Using Graph-Based Retiming · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2022
Area Optimization of Timing Resilient Designs Using Resynthesis · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2018
Energy-efficient computing
clock gating
0.612022
Converting Flip-Flop to Clock-Gated 3-Phase Latch-Based Designs Using Graph-Based Retiming · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2022
Integrated circuit design › digital circuit design › sequential circuit design
latch design
0.612022
Converting Flip-Flop to Clock-Gated 3-Phase Latch-Based Designs Using Graph-Based Retiming · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2022
Electronic design automation › physical design
gate sizing
0.212016
Area optimization of resilient designs guided by a mixed integer geometric program · DAC 2016
Electronic design automation
physical design
0.212016
Area optimization of resilient designs guided by a mixed integer geometric program · DAC 2016
Electronic design automation › logic synthesis › logic optimization
resynthesis
0.212016
Area optimization of resilient designs guided by a mixed integer geometric program · DAC 2016
Hardware reliability and fault tolerance › error detection
timing error detection
0.112018
Area Optimization of Timing Resilient Designs Using Resynthesis · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2018

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

graph-based retiming · 1.0virtual resynthesis library · 0.4virtual resynthesis cell library · 0.3geometric programming · 0.3brute-force search · 0.3mixed integer geometric programming · 0.2
YearPublicationVenuePosition
2022 Converting Flip-Flop to Clock-Gated 3-Phase Latch-Based Designs Using Graph-Based Retiming
abstract
Latches have the advantages of timing-borrowing, smaller cell area, lower input capacitance, and lower power compared to flip-flops (FFs). This article presents a CAD flow that converts any arbitrarily complex single-clock-domain FF-based RTL design into an efficient 3-phase latch-based design. The flow includes a novel 3-phase aware retiming algorithm for power and area optimization. Post place-and-route results demonstrate that our new 3-phase designs achieve 23.5% and 23.9% average power reductions compared to more traditional FF and master–slave-based alternatives across a board range of benchmarks with no degradation in performance and on average less area.
Huimei Cheng, Yichen Gu, Peter A. Beerel
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.1
2020 Saving Power by Converting Flip-Flop to 3-Phase Latch-Based Designs
abstract
Latches are smaller and lower power than flip-flops (FFs) and are typically used in a time-borrowing master-slave configuration. This paper presents an automatic flow for converting arbitrarily-complex single-clock-domain FF-based RTL designs to efficient 3-phase latch-based designs with reduced number of required latches, saving both register and clock-tree power. Post place-and-route results demonstrate that our 3-phase latch-based designs save an average of 15.5% and 18.5% power on a variety of ISCAS, CEP, and CPU benchmark circuits, compared to their more traditional FF and master-slave based alternatives.
Huimei Cheng, Yichen Gu, Peter A. Beerel
DATE1
2019 Automatic Retiming of Two-Phase Latch-Based Resilient Circuits
abstract
Timing resilient design has shown significant promise in mitigating the excess margins associated with rare worst-case data and increased process, voltage, and temperature variations. However, resilient circuits need error detecting sequential logic (EDL) to detect timing errors which incur area and power overhead. This paper proposes two alternatives to reduce the overhead in two-phase latch-based resilient circuits. The first is a new resiliency-aware graph-based approach to solve the retiming problem. The second uses a virtual resynthesis library to enable commercial synthesis tools to recognize the EDL overhead and optimize total area during retiming. We compare both approaches to a commercially standard retiming approach, which ignores the resiliency overheads, on a wide variety of benchmarks. Our experimental results show that our methods are computationally efficient and reduce the total circuit area by an average of up to 10%-15% when compared to traditional retiming.
Huimei Cheng, Hsiao-Lun Wang, Minghe Zhang, Dylan Hand, Peter A. Beerel
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.1
2018 Area Optimization of Timing Resilient Designs Using Resynthesis
abstract
Timing resilient designs can remove variation margins by adding error detecting logic (EDL) that detects timing errors when execution completes within a resiliency window. Speeding up near-critical-paths during logic synthesis can reduce the amount of EDL needed but at the cost of increasing logic area. This creates a logic optimization strategy called resynthesis. This paper proposes four alternatives to optimize resilient designs through resynthesis. The first is a brute force approach that explores speeding up all combinations of near-critical paths and produces good results but is computationally impractical for complex circuits. The second is a naive brute-force (BF) approach in which near-critical paths are sped up one end-point at a time. It is much faster than the BF approach because it does not explore the benefits of speeding up multiple end-points simultaneously and thus provides a quick-and-dirty lower bound for the benefits of resynthesis. The third is a geometric program-based iterative algorithm (GPIA) that achieves area reductions that compare favorably across all four approaches. The GPIA algorithm completes within 24 h for all examples and the average area reduction is up to 16%. Because the run-time required to solve this mathematical model can still be long; however, we propose a fourth approach that involves creating a virtual resynthesis cell library that tries to trick the synthesis tool to understand EDL overhead and optimize total area quickly and automatically. This approach obtains an average of approximately two-third of the area reductions of the GPIA approach with fast run times associated with only a single synthesis run.
Hsin-Ho Huang, Huimei Cheng, Chris C. N. Chu, Peter A. Beerel
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.2
2017 Deadline-Aware Joint Optimization of Sleep Transistor and Supply Voltage for FinFET Based Embedded Systems
abstract
Leakage power consumption has recently become a great concern for modern embedded systems. FinFET technologies, power gating, and near- and super-threshold regimes can significantly reduce the power consumption. However, there lacks a comprehensive analysis of jointly applying the aforementioned power saving techniques. In this paper, we investigate the application of power gating to FinFET circuits operating in near- and super-threshold voltage regimes for embedded system applications. A joint optimization algorithm is proposed to determine the width/length, position and threshold type of the sleep transistor together with the operating voltage constrained to a certain deadline, and with the goal of minimizing energy per operation. Experimental results demonstrate that the proposed algorithm achieves up to 99.9% energy reductions when compared to the near-threshold approach without power gating and 95.3% when compared to deadline-free optimization.
Huimei Cheng, Ji Li 0006, Jeffrey T. Draper, Shahin Nazarian, Yanzhi Wang 0001
ACM Great Lakes Symposium on VLSI1
2016 Area optimization of resilient designs guided by a mixed integer geometric program
abstract
Timing resilient designs can remove variation margins by adding error detecting logic (EDL) that detects timing errors when execution completes within a resiliency window. Speeding up near-critical-paths during logic synthesis can reduce the amount of EDL needed but at the cost of increasing logic area. This creates a logic optimization strategy called resynthesis. This paper proposes a gate-sizing based mixed integer geometric programming framework to analytically model and optimize paths during resynthesis. We evaluate our approach on a set of ISCAS89 benchmarks and compare the overall area improvement after resynthesis guided by our mathematical model versus a previously published naive brute-force approach. Our experimental results demonstrate that our approach achieves up to 11% larger average area improvement.
Hsin-Ho Huang, Huimei Cheng, Chris C. N. Chu, Peter A. Beerel
DAC2