EDBT 2026 Demo / reviewers in the wild / expert
Insup Shin
dblp:99/7358
· DBLP profile ↗
11ranked-venue papers
6as first author
0since 2021 · last 2016
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 11 · 6 first-authorSoftware engineering, systems software and programming languages · 1Applied, interdisciplinary, general and emerging computing · 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 · 50% Energy-efficient computing · 30% Integrated circuit design · 20% |
Topics — the 12 heaviest of 12, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Integrated circuit design
low-power circuit design |
0.3 | 3 | 2012 | Synthesis of Active-Mode Power-Gating Circuits · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2012 Synthesis and implementation of active mode power gating circuits · DAC 2010 HLS-l: A High-Level Synthesis Framework for Latch-Based Architectures · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2010 |
Energy-efficient computing
power gating |
0.3 | 2 | 2012 | Synthesis of Active-Mode Power-Gating Circuits · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2012 Synthesis and implementation of active mode power gating circuits · DAC 2010 |
Electronic design automation
high-level synthesis |
0.2 | 2 | 2010 | HLS-l: A High-Level Synthesis Framework for Latch-Based Architectures · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2010 Register allocation for high-level synthesis using dual supply voltages · DAC 2009 |
Electronic design automation › high-level synthesis › resource binding
register allocation |
0.2 | 2 | 2010 | HLS-l: A High-Level Synthesis Framework for Latch-Based Architectures · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2010 Register allocation for high-level synthesis using dual supply voltages · DAC 2009 |
Electronic design automation
physical design |
0.1 | 1 | 2012 | Synthesis of Active-Mode Power-Gating Circuits · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2012 |
Electronic design automation
logic synthesis |
0.1 | 1 | 2010 | Synthesis and implementation of active mode power gating circuits · DAC 2010 |
Electronic design automation › high-level synthesis
scheduling and allocation |
0.1 | 1 | 2010 | HLS-l: A High-Level Synthesis Framework for Latch-Based Architectures · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2010 |
Energy-efficient computing
low-power design |
0.1 | 1 | 2009 | Register allocation for high-level synthesis using dual supply voltages · DAC 2009 |
Energy-efficient computing › voltage scaling
multiple supply voltage |
0.1 | 1 | 2009 | Register allocation for high-level synthesis using dual supply voltages · DAC 2009 |
Energy-efficient computing
leakage power reduction |
0.0 | 1 | 2012 | Synthesis of Active-Mode Power-Gating Circuits · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2012 |
Electronic design automation › high-level synthesis
data path synthesis |
0.0 | 1 | 2009 | Register allocation for high-level synthesis using dual supply voltages · DAC 2009 |
Integrated circuit design
digital circuit design |
0.0 | 1 | 2009 | Register allocation for high-level synthesis using dual supply voltages · DAC 2009 |
Methods — techniques the papers use, named apart from their topics
power network synthesis · 0.1placement optimization · 0.1footer sizing · 0.1design of experiments · 0.1clock gating · 0.1dual-vdd scheduling · 0.1dual-vdd allocation · 0.1controller synthesis · 0.1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2016 | One-Cycle Correction of Timing Errors in Pipelines With Standard Clocked ElementsabstractOne of the most aggressive uses of dynamic voltage scaling is timing speculation, which in turn requires fast correction of timing errors. The fastest existing error correction technique imposes a one-cycle time penalty only, but it is restricted to two-phase transparent latch-based pipelines. We perform one-cycle error correction by gating only the main latch in each stage of the pipeline that precedes a failed stage. This new method is applicable to widely used clocking elements, such as flip-flops and pulsed latches. Because it prevents inputs arriving at a stage, which is stalled, it can also be used in pipelines with multiple fan-in, fan-out, and looping. Simulations show an energy saving of 8%-12% with a target throughput of 0.9 instructions per cycle, and 15%-18% when the target is 0.8. Insup Shin, Jae-Joon Kim, Yu-Shiang Lin, Youngsoo Shin |
IEEE Trans. Very Large Scale Integr. Syst. | 1 |
| 2014 | Power minimization of pipeline architecture through 1-cycle error correction and voltage scalingabstractWe present a new 1-cycle timing error correction method, which enables aggressive voltage scaling in a pipelined architecture. The proposed method differs from the state-of-the-art in that the pipeline stage where the timing error occurs can continue to receive input data without halting to avoid data collision. The feature allows the pipeline to avoid recurring clock gating when timing errors happen at multiple stages or timing errors continue to occur at a certain stage. Compared to a state-of-the-art method, the proposed method shows 2-6% energy reduction for a 5-stage pipeline and 7-11% reduction for a 10-stage pipeline. In addition, the proposed logic to propagate clock gating signal is much simpler than that of the previous method [1] by eliminating reverse propagation path of clock gating signal. Insup Shin, Jae-Joon Kim, Youngsoo Shin |
ASP-DAC | 1 |
| 2013 | A pipeline architecture with 1-cycle timing error correction for low voltage operationsabstractWe present a new timing error correction scheme which allows each pipeline stage to halt for one cycle only. The small timing penalty for the error correction operation in the proposed scheme makes it possible to eliminate the extra timing guardband that was needed to accommodate timing uncertainty due to process variations. As a result, lower supply voltage can be used with the proposed scheme for low power operations. Compared to the previous 1-cycle error correction scheme which uses two-phase transparent latch based pipeline [1], the proposed scheme can be applied to the pipeline based on more popular clocking elements such as flip-flop or pulsed latch. Insup Shin, Jae-Joon Kim, Yu-Shiang Lin, Youngsoo Shin |
ISLPED | 1 |
| 2012 | Introducing irregularity to routing architecture of structured ASIC for better routabilityabstractImposing regularity presents a fundamental limitation to any structured ASIC, or more generally any programmable logic device. It has been recently shown that irregularity can be introduced in structured ASIC, in particular in programmable logic elements of structured ASIC, through a special photolithography process, and the degree of irregularity can be customized for each particular design by manufacturing a few extra masks. We experiment how irregularity can be introduced to routing architecture of structured ASIC. When a whole routing area is made of an array of two routing architectures, the area is reduced by 8% to 16% (compared to standard structured ASIC) due to less white space, which is made possible by improved routability; the total wirelength is reduced by 6% to 14%. The new routing architectures and routing algorithm specific to the architectures are presented. Insup Shin, Donkyu Baek, Youngsoo Shin |
FPT | 1 |
| 2012 | Synthesis of Active-Mode Power-Gating CircuitsabstractActive leakage is transient, which can be suppressed by design techniques such as dual-Vt. Active-mode power-gating (AMPG) can further reduce active leakage by power-gating groups of gates that perform computations with results that are not loaded due to clock-gating. AMPG involves several challenges; the grouping of gates must take circuit timing into account, and current switches need to be sized to preserve power network integrity as well as circuit timing. We propose solutions to these problems in the content of the entire process of synthesizing AMPG circuits. The physical design of AMPG circuits is also difficult due to the large number of virtual ground rails that must be mutually isolated. We address these issues by integrating placement with power network synthesis. Experiments on several test circuits implemented in 45-nm technology demonstrate the effectiveness of AMPG in the circuits that we synthesized, in terms of power consumption, area, wirelength, and timing. Jun Seomun, Insup Shin, Youngsoo Shin |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. | 2 |
| 2012 | HLS-dv: A High-Level Synthesis Framework for Dual-Vdd ArchitecturesabstractDual supply voltage design is widely accepted as an effective way to reduce the power consumption of CMOS circuits. In this paper, we propose a comprehensive design framework that includes dual- scheduling, dual- allocation, controller synthesis as well as layout generation. In particular, we address a problem of high-level synthesis with objective of minimizing power consumption of storage units and multiplexers using dual- ; this is made possible by utilizing timing slack that is left in the data-path after operation scheduling. We use integer linear programming (ILP) and also provide heuristic algorithms to solve the dual- register and connection allocation. The physical layout of dual-circuits has to separate power rails of and cells from each other. We propose a voltage island based placement algorithm to relieve this restriction and allow more flexibility of placement. In experiments on benchmark designs implemented in 1.08 V (with Vddlof 0.8 V) 65-nm CMOS technology, both switching and leakage power are reduced by 20% on average, respectively, compared to data-path with dual-Vddapplied to functional units alone. Detailed analysis of area and wirelength is performed to assess feasibility of the proposed method. Insup Shin, Seungwhun Paik, Dongwan Shin, Youngsoo Shin |
IEEE Trans. Very Large Scale Integr. Syst. | 1 |
| 2011 | Selectively patterned masks: Structured ASIC with asymptotically ASIC performanceabstractStructured ASIC, which consists of a homogeneous array of tiles, suffers from large delay and area due to its inherent regularity. A new lithography method called selectively patterned masks (SPM) is proposed. It exploits special masks called masking masks and double exposure technique to allow more than one types of tiles to be patterned on the same wafer. The result is a heterogeneous array of tiles, which relaxes regularity in structured ASIC. A new structured ASIC based on SPM is proposed; tile and routing architectures, design flow, and tile packing and routing algorithm are all addressed. Experiments in 45-nm technology show that, compared to ASIC, the proposed structured ASIC exhibits 2.0 times of area when circuits are optimized for area and 1.2 times of delay when they are optimized for delay. Both figures represent substantial improvement over conventional structured ASIC. Donkyu Baek, Insup Shin, Seungwhun Paik, Youngsoo Shin |
ASP-DAC | 2 |
| 2010 | Synthesis and implementation of active mode power gating circuitsabstractActive leakage current is much larger (~ 10x) than standby leakage current, and takes a large proportion (30% to 40%) of active power consumption. Active mode power gating (AMPG) has been proposed to extend the application of basic power gating to reducing active leakage; it relies on clock-gating signals to cut the power off a part of combinational gates. The problem to select those gates while integrity of circuit behavior remains intact has not been solved yet. We identify three constraints to solve this problem, namely functional, timing, and current constraints. The problem of synthesizing AMPG circuits is then laid out, and synthesis algorithm is proposed; a group of gates that can be power-gated by each clock-gating signal and the size of footer that is attached to the group constitute a synthesis output. The layout methodology for standard cell designs is proposed to assess AMPG circuits in area and wirelength. Experiments in 1.1 V, 45-nm technology demonstrate that active leakage is reduced by 16% on average compared to clock-gated circuits. Jun Seomun, Insup Shin, Youngsoo Shin |
DAC | 2 |
| 2010 | HLS-l: A High-Level Synthesis Framework for Latch-Based ArchitecturesabstractLevel-sensitive latches are widely used in high-performance custom designs while edge-triggered flip-flops are predominantly used in application-specific integrated circuits. We consider a latch as a basis for storage and address each step of high-level synthesis (HLS), including scheduling, allocation, and control synthesis. While the use of latches provides an opportunity to reduce the latency during the scheduling, the register allocation has to take extra conflicts caused by latch into account, and the control synthesis has to be tailored to support the latch-based data-path. Optimization potentials specific to this HLS are identified and solutions are proposed. Specifically, the register allocation can be improved by refining the operation schedule in a way to reduce the number of edges in a register conflict graph; the latency can be reduced by adjusting the clock duty cycle in a way to generate a tighter schedule. All the steps of HLS and optimization procedures were integrated into a framework called HLS-l. It was tested on benchmark designs implemented in 1.1-V, 45 nm complementary metal-oxide-semiconductor technology. Compared to the conventional HLS, HLS-l was able to reduce the latency by 18.2% on average with 9.2% less area and 16.0% less power consumption. The application of HLS-l to an industrial example is demonstrated through the design of a module extracted from H.264/advanced video coding. Seungwhun Paik, Insup Shin, Youngsoo Shin |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. | 2 |
| 2009 | Register allocation for high-level synthesis using dual supply voltagesabstractReducing the power consumption of memory elements is known to be the most influential in minimizing total power consumption, since designs tend to use more memories these days. In this paper, we address a problem of high-level synthesis with the objective of minimizing power consumption of storage using dual-Vdd. Specifically, we propose a complete design framework that starts from dual-Vdd scheduling, dual-Vdd allocation, and controller synthesis down to the final layout. Its main feature is dual-Vdd register allocation, which exploits timing slacks left in the data-path after operation scheduling. In experiments on benchmark designs implemented in 1.08 V (with Vddl of 0.8 V), 65-nm CMOS technology, both switching and leakage power were reduced by 20% on average, respectively, compared to data-path with dual-Vdd applied to functional units alone. Detailed analysis of slack histogram, area, wirelength, and congestion were performed to assess feasibility of the design framework. Insup Shin, Seungwhun Paik, Youngsoo Shin |
DAC | 1 |
| 2009 | HLS-l: High-level synthesis of high performance latch-based circuitsabstractAn inherent performance gap between custom designs and ASICs is one of the reasons why many designers still start their designs from register transfer level (RTL) description rather than from behavioral description, which can be synthesized to RTL via high-level synthesis (HLS). Sequencing overhead is one of the factors for this performance gap; the choice between latch and flip-flop is not typically taken into account during HLS, even though it affects all the steps of HLS. HLS-l is a new design framework that employs high-performance latches during scheduling, allocation, and controller synthesis. Its main feature is a new scheduler that is based on a concept of phase step (as opposed to conventional control step), which allows us scheduling in finer granularity, register allocation that resolves the conflict of latch being read and written at the same time, and controller synthesis that exploits dual-edge triggered storage elements to support phase step based scheduling. In experiments on benchmark designs implemented in 1.2 V, 65 -nm CMOS technology, HLS-l reduced latency by 16.6% on average, with 9.5% less circuit area, compared to the designs produced by conventional HLS. Seungwhun Paik, Insup Shin, Youngsoo Shin |
DATE | 2 |