EDBT 2026 Demo / reviewers in the wild / expert
Inhak Han
dblp:03/9257
· DBLP profile ↗
8ranked-venue papers
3as first author
0since 2021 · last 2019
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 8 · 3 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
2 papers |
Electronic design automation · 57% Integrated circuit design · 23% Energy-efficient computing · 20% |
Topics — the 9 heaviest of 9, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Electronic design automation
physical design |
0.2 | 2 | 2012 | Thermal signature: a simple yet accurate thermal index for floorplan optimization · DAC 2011 Clock Gating Synthesis of Pulsed-Latch Circuits · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2012 |
Electronic design automation › logic synthesis › sequential circuit optimization
clock gating synthesis |
0.1 | 1 | 2012 | Clock Gating Synthesis of Pulsed-Latch Circuits · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2012 |
Electronic design automation
logic synthesis |
0.1 | 1 | 2012 | Clock Gating Synthesis of Pulsed-Latch Circuits · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2012 |
Integrated circuit design
low-power circuit design |
0.1 | 1 | 2012 | Clock Gating Synthesis of Pulsed-Latch Circuits · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2012 |
Integrated circuit design › clocking
pulsed-latch circuits |
0.1 | 1 | 2012 | Clock Gating Synthesis of Pulsed-Latch Circuits · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2012 |
Energy-efficient computing › thermal management
chip temperature optimization |
0.1 | 1 | 2011 | Thermal signature: a simple yet accurate thermal index for floorplan optimization · DAC 2011 |
Electronic design automation › physical design
floorplanning |
0.1 | 1 | 2011 | Thermal signature: a simple yet accurate thermal index for floorplan optimization · DAC 2011 |
Electronic design automation › physical design › floorplanning
thermal-aware floorplanning |
0.1 | 1 | 2011 | Thermal signature: a simple yet accurate thermal index for floorplan optimization · DAC 2011 |
Energy-efficient computing
thermal management |
0.1 | 1 | 2011 | Thermal signature: a simple yet accurate thermal index for floorplan optimization · DAC 2011 |
Methods — techniques the papers use, named apart from their topics
pulse generator enabling · 0.1boolean division · 0.1simulated annealing · 0.1green's function · 0.1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2019 | Clock Gating Synthesis of Netlist with Cyclic Logic PathsabstractGate-level clock gating is to synthesize clock gating structure (grouping of registers and extracting gating function of each group) from a netlist. We note that a simpler gating function can be derived from a cyclic logic path that connects the input and output of the same register. Another benefit comes from the fact that simplifying the cyclic paths using the derived gating function as don't-care is straightforward. A key problem in this approach is to extract a set of cyclic paths of each register, such that power consumption is minimized and circuit timing is left intact. Experiments demonstrate that power consumption is reduced by 49% on average of test circuits (with initial ungated netlist as a reference), while a sample previous gate-level clock gating achieves 34% of power saving. Yonghwi Kwon 0002, Inhak Han, Youngsoo Shin |
ICCAD | 2 |
| 2018 | Transient Clock Power Estimation of Pre-CTS NetlistabstractClock tree synthesis (CTS) is performed in a very late stage of design. Power estimation, therefore, can only be done without clock network in most design stages, which is not desirable given that clock network is usually the biggest power consumer. One may adopt an estimate of clock power, but its dynamic nature arising from clock gating brings a challenge in the estimation of clock power in a pre-CTS design. In this paper, we (1) estimate the clock tree components (clock gating cells (CGCs) and buffers as well as their wireloads) by using artificial neural networks (ANNs) and (2) use them while gating or ungating of each CGC is identified from a netlist cycle-by-cycle to estimate transient clock power consumption. Experiments with a few test circuits indicate that (1) the estimation of clock tree components causes the error of 13% on average, and (2) the estimated clock power waveform is very close to the actual waveform with average error of only 2%. Yonghwi Kwon 0002, Jinwook Jung, Inhak Han, Youngsoo Shin |
ISCAS | 3 |
| 2018 | Folded Circuit Synthesis: Min-Area Logic Synthesis Using Dual-Edge-Triggered Flip-FlopsabstractThe area required by combinational logic of a sequential circuit based on standard flip-flops can be reduced by identifying subcircuits that are identical. Pairs of matching subcircuits can then be replaced by circuits in which dual-edge-triggered flip-flops operate on multiplexed data at the rising and falling edges of the clock signal. We show how to modify the Boolean network describing a combinational logic to increase the opportunities for folding, without affecting its function. Experiments with benchmark circuits achieved an average reduction in circuit area of 18%. Inhak Han, Youngsoo Shin |
ACM Trans. Design Autom. Electr. Syst. | 1 |
| 2016 | Buffer insertion to remove hold violations at multiple process cornersabstractBuffer insertion to remove hold violations at multiple process corners is addressed for the first time. The problem is formulated as integer linear programming (ILP); it is combined with circuit partitioning heuristic so that larger circuits can also be handled. A heuristic buffer insertion algorithm is then proposed and compared to ILP, which demonstrates only a slight increase of the number of buffers (2.4% on average). Two additional intuitive methods are implemented to demonstrate why new heuristic algorithm is needed: conventional buffer insertion at each process corner one by one and conventional buffer insertion at all process corners simultaneously followed by combining insertion results. Inhak Han, Daijoon Hyun, Youngsoo Shin |
ASP-DAC | 1 |
| 2014 | Simplifying Clock Gating Logic by Matching Factored FormsabstractGate-level clock gating starts with a netlist, with partial or no gating applied; some flip-flops are then selected for further gating to reduce the circuit's power consumption, and a gating logic of the smallest possible size must then be synthesized. We show how to do this by factored form matching, in which gating functions in factored forms are matched, as far as possible, with factored forms of the Boolean functions of existing combinational nodes in the circuit; additional gates are then introduced, but only for the portion of gating functions that are not matched. Strong matching identifies matches that are explicitly present in the factored forms, and weak matching seeks matches that are implicit in the logic and thus are more difficult to discover. Factored form matching reduces gating logic by an average of 24%, over a few test circuits, for which Boolean division only achieves an average reduction of 8%. Inhak Han, Youngsoo Shin |
IEEE Trans. Very Large Scale Integr. Syst. | 1 |
| 2012 | Clock Gating Synthesis of Pulsed-Latch CircuitsabstractPulsed-latch circuits, in which latches are triggered by a short pulse, can reduce power consumption as well as increasing performance; and they can largely be designed using conventional computer-aided design tools. We explore the automatic synthesis of clock-gating logic for pulsed-latch circuits in which gating is implemented by enabling and disabling several pulse generators. The key problem is to arrange that each group of latches contains physically close latches, so that a short pulse from a pulse generator is delivered safely, and to ensure that the latches in a group have similar Boolean gating conditions because their clock is gated and ungated together. The resulting gating conditions should be implemented using as little extra logic as possible; for this purpose we rely on Boolean division, with an internal node of existing logic being used as the divisor. The proposed clock gating synthesis is assessed in 45-nm technology. Seungwhun Paik, Inhak Han, Youngsoo Shin |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. | 2 |
| 2011 | Pulser gating: A clock gating of pulsed-latch circuitsabstractA pulsed-latch is an ideal sequencing element for low-power ASIC designs due to its smaller capacitance and simple timing model. Clock gating of pulsed-latch circuits can be realized by gating a pulse generator (or pulser), which we call pulser gating. The problem of pulser gating synthesis is formulated for the first time. Given a gate-level netlist with location of latches, we first extract the gating function of each latch; the gating functions are merged to reduce the amount of extra logic while gating probability is not sacrificed too much. We also have to take account of proximity of latches, because a pulser, which is gated by merged gating function, and its latches have to be physically close for safe delivery of pulse. The heuristic algorithm that considers all three factors (similarity of gating functions, literal count to implement gating functions, and proximity of latches) is proposed and assessed in terms of power saving and area using 45-nm technology. Inhak Han, Seungwhun Paik, Youngsoo Shin |
ASP-DAC | 2 |
| 2011 | Thermal signature: a simple yet accurate thermal index for floorplan optimizationabstractA floorplanning has a potential to reduce chip temperature due to the conductive nature of heat. If floorplan optimization, which is usually based on simulated annealing, is employed to reduce temperature, its evaluation should be done extremely fast with high accuracy. A new thermal index, named thermal signature, is proposed. It approximates the temperature calculation, which is done by taking the product of Green's function and power density integrated over space. The correlation coefficient between thermal signature and temperature is shown to be quite high, more than 0.7 in many examples. A floorplanner that uses thermal signature is constructed and assessed using real design examples in 32-nm technology. It produces a floorplan whose maximum temperature is 11.4°C smaller than that of standard floorplan, on average, in reasonable amount of runtime. Inhak Han, Sachin S. Sapatnekar, Youngsoo Shin |
DAC | 2 |