Demo Data from VLDB 2026 / reviewers in the wild / expert
Huimei Cheng
dblp:180/3867
· DBLP profile ↗
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
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Electronic design automation
logic synthesis |
1.5 | 4 | 2022 | 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.0 | 2 | 2022 | 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.7 | 2 | 2022 | 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.6 | 1 | 2022 | 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.6 | 1 | 2022 | 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.2 | 1 | 2016 | Area optimization of resilient designs guided by a mixed integer geometric program · DAC 2016 |
Electronic design automation
physical design |
0.2 | 1 | 2016 | Area optimization of resilient designs guided by a mixed integer geometric program · DAC 2016 |
Electronic design automation › logic synthesis › logic optimization
resynthesis |
0.2 | 1 | 2016 | 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.1 | 1 | 2018 | 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
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2022 | Converting Flip-Flop to Clock-Gated 3-Phase Latch-Based Designs Using Graph-Based RetimingabstractLatches 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 DesignsabstractLatches 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 |
DATE | 1 |
| 2019 | Automatic Retiming of Two-Phase Latch-Based Resilient CircuitsabstractTiming 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 ResynthesisabstractTiming 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 SystemsabstractLeakage 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 VLSI | 1 |
| 2016 | Area optimization of resilient designs guided by a mixed integer geometric programabstractTiming 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 |
DAC | 2 |