Demo Data from VLDB 2026 / reviewers in the wild / expert
Kee Sup Kim
dblp:56/4946
· DBLP profile ↗
27ranked-venue papers
13as first author
0since 2021 · last 2013
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 27 · 13 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
3 papers |
Electronic design automation · 86% Integrated circuit design · 10% Performance modeling and evaluation · 4% |
Topics — the 10 heaviest of 10, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Electronic design automation
hardware verification and test |
0.1 | 1 | 2006 | XPAND: An Efficient Test Stimulus Compression Technique · IEEE Trans. Computers 2006 |
Electronic design automation › hardware verification and test › design for testability
scan-based testing |
0.1 | 1 | 2006 | XPAND: An Efficient Test Stimulus Compression Technique · IEEE Trans. Computers 2006 |
Electronic design automation
design optimization |
0.1 | 1 | 2005 | How to determine the necessity for emerging solutions · DAC 2005 |
Electronic design automation
hardware test |
0.0 | 1 | 2004 | X-compact: an efficient response compaction technique · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2004 |
Electronic design automation › hardware verification and test
test response compaction |
0.0 | 1 | 2004 | X-compact: an efficient response compaction technique · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2004 |
Electronic design automation › hardware verification and test › test response compaction
x-tolerant compaction |
0.0 | 1 | 2004 | X-compact: an efficient response compaction technique · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2004 |
Integrated circuit design › digital circuit design
combinational logic |
0.0 | 1 | 2006 | XPAND: An Efficient Test Stimulus Compression Technique · IEEE Trans. Computers 2006 |
Integrated circuit design
digital circuit design |
0.0 | 1 | 2006 | XPAND: An Efficient Test Stimulus Compression Technique · IEEE Trans. Computers 2006 |
Electronic design automation
design methodology |
0.0 | 1 | 2005 | How to determine the necessity for emerging solutions · DAC 2005 |
Performance modeling and evaluation
design trade-off analysis |
0.0 | 1 | 2005 | How to determine the necessity for emerging solutions · DAC 2005 |
Methods — techniques the papers use, named apart from their topics
exclusive-or gate networks · 0.1x-compact technique · 0.0response compaction · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2013 | Early-life-failure detection using SAT-based ATPGabstractEarly-life failures (ELF) result from weak chips that may pass manufacturing tests but fail early in the field, much earlier than expected product lifetime. Recent experimental studies over a range of technologies have demonstrated that ELF defects result in changes in delays over time inside internal nodes of a logic circuit before functional failure occurs. Such changes in delays are distinct from delay degradation caused by circuit aging mechanisms such as Bias Temperature Instability. Traditional transition fault or robust path delay fault test patterns are inadequate for detecting such ELF-induced changes in delays because they do not model the demanding detection conditions precisely. In this paper, we present an automatic test pattern generation (ATPG) technique based on Boolean Satisfiability (SAT) for detecting ELF-induced delay changes at all gates in a given circuit. Our simulation results, using various circuit blocks from the industrial OpenSPARC T2 design as well as standard benchmarks, demonstrate the effectiveness and practicality of our approach in achieving high coverage of ELF-induced delay change detection. We also demonstrate the robustness of our approach to manufacturing process variations. Matthias Sauer 0002, Young Moon Kim, Jun Seomun, Hyung-Ock Kim, Kyung Tae Do, Jung Yun Choi, Kee Sup Kim, Subhasish Mitra, Bernd Becker 0001 |
ITC | 7 |
| 2011 | Holistic low power solutions for the new world
Kee Sup Kim |
ISLPED | 1 |
| 2011 | Apprentice - VTS edition: Season 4abstractThe main objective of this active "panel" is to increase technical interaction among attendees. Team leaders will recruit participants to their team. Each team will try to clearly articulate the problems and come up with ways to solve this problem in the form of new business proposal. The teams will present their findings and business proposals in front of judges later during the conference. The winning team will be announced during the social event. Kee Sup Kim, Rob Roy |
VTS | 1 |
| 2010 | Panel 4A: Apprentice - VTS edition: Season 3abstractSummary form only given. The complete presentation was not made available for publication as part of the conference proceedings. The main objective of this active “panel” is to increase technical interaction among attendees. Team leaders ill recruit participants to their team. Each team will try to clearly articulate the problems and come up with ways to solve this problem in the form of new business proposal. The teams will present their findings and business proposals in front of judges later during the conference. The winning team will be announced during the social event. Kee Sup Kim |
VTS | 1 |
| 2010 | Panel 12C: Apprentice - VTS edition judging sessionabstractSummary form only given. The complete presentation was not made available for publication as part of the conference proceedings. This is the judging session for the Panel 4A: Apprentice – VTS edition. The main objective of this active “panel” is to increase technical interaction among attendees. Team leaders will recruit participants to their team. Each team will try to clearly articulate the problems and come up with ways to solve this problem in the form of new business proposal. The teams will present their findings and business proposals in front of judges during this panel. The winning team will be announced at the end of this panel. Kee Sup Kim |
VTS | 1 |
| 2009 | Framework for massively parallel testing at wafer and package testabstractA novel DFT approach is introduced that enables massively parallel testing of logic devices at both wafer and package test. Parallelism is achieved by utilizing interconnection networks that are built onto a wafer probe or a tester interface unit. The financial benefits of this method in a realistic setting are also presented. A. Hakan Baba, Kee Sup Kim |
ICCD | 2 |
| 2009 | Panel: Apprentice - VTS Edition: Season 2
Kee Sup Kim |
VTS | 1 |
| 2007 | Design for Resilience to Soft Errors and VariationsabstractThis paper presents adaptive variation-and-error-resilient agent (AVERA), an approach to address the challenge of designing reliable systems in the presence of soft errors and variations. AVERA extends our previous built-in soft error resilience (BISER) approach by adding additional capabilities to support process variation diagnosis, degradation detection, and system adaptation, besides soft error correction. We also discuss open challenges for building variation-and-error-resilient systems. Ming Zhang 0017, James W. Tschanz, Kee Sup Kim, Norbert Seifert, Davia Lu |
IOLTS | 4 |
| 2006 | OCI: Open Compression InterfaceabstractBefore on-chip scan compression, it was possible to use different EDA tool vendors to do scan insertion, pattern generation, and diagnosis. On-chip scan compression changed that use model since each tool vendor supplied a different type of scan compression logic and had tool-specific ways to pass necessary information from scan insertion to pattern generation and from pattern generation to diagnosis. OCI (open compression interface) is a standardization of how the necessary data is passed from test logic insertion to pattern generation to diagnosis such that different vendors can be used for each step independent of the on-chip scan compression logic used. This document discusses the need for OCI and gives a conceptual overview of the OCI standard Bruce Cory, Rohit Kapur, Mick Tegethoff, Mark Kassab, Brion L. Keller, Kee Sup Kim, Dwayne Burek, Steven F. Oakland, Benoit Nadeau-Dostie |
ITC | 6 |
| 2006 | Combinational Logic Soft Error CorrectionabstractWe present two techniques for correcting radiation-induced soft errors in combinational logic - error correction using duplication, and error correction using time-shifted outputs. Simulation results show that both techniques reduce combinational logic soft error rate by more than an order of magnitude. Soft errors affecting sequential elements (latches and flip-flops) at combinational logic outputs are automatically corrected using these techniques Subhasish Mitra, Ming Zhang 0017, Saad Waqas, Norbert Seifert, Balkaran S. Gill, Kee Sup Kim |
ITC | 6 |
| 2006 | Soft Error Resilient System Design through Error CorrectionabstractThis paper presents an overview of the built-in soft error resilience (BISER) technique for correcting soft errors in latches, flip-flops and combinational logic. The BISER technique enables more than an order of magnitude reduction in chip-level error soft rate with minimal area impact, 6-10% chip-level power impact, and 1-5% performance impact (depending on whether combinational logic error correction is implemented or not). In comparison, several classical error-detection techniques introduce 40-100% power, performance and area overheads, and require significant efforts for designing and validating corresponding recovery mechanisms. Design trade-offs associated with the BISER technique and other existing soft error protection techniques are also analyzed Subhasish Mitra, Ming Zhang 0017, Norbert Seifert, Kee Sup Kim |
VLSI-SoC | 5 |
| 2006 | Session AbstractabstractIn the course of practicing DFT and test engineering, we make a number of engineering decisions since full set of data are not available. In academia, researchers search for the next big problem and struggle to get access to the real data. What are these missing data and what effects would they have if they were known? Kee Sup Kim, Mark Tehranipoor |
VTS | 1 |
| 2006 | XPAND: An Efficient Test Stimulus Compression TechniqueabstractCombinational circuits implemented with exclusive-or gates are used for on-chip generation of deterministic test patterns from compressed seeds. Unlike major test compression techniques, this technique doesn't require test pattern generation with don't cares. Experimental results on industrial designs demonstrate that this new XPAND technique achieves exponential reduction in test data volume and test time compared to traditional scan and significantly outperforms existing test compression tools. The XPAND technique is currently being used by several industrial designs. Subhasish Mitra, Kee Sup Kim |
IEEE Trans. Computers | 2 |
| 2006 | Sequential Element Design With Built-In Soft Error ResilienceabstractThis paper presents a built-in soft error resilience (BISER) technique for correcting radiation-induced soft errors in latches and flip-flops. The presented error-correcting latch and flip-flop designs are power efficient, introduce minimal speed penalty, and employ reuse of on-chip scan design-for-testability and design-for-debug resources to minimize area overheads. Circuit simulations using a sub-90-nm technology show that the presented designs achieve more than a 20-fold reduction in cell-level soft error rate (SER). Fault injection experiments conducted on a microprocessor model further demonstrate that chip-level SER improvement is tunable by selective placement of the presented error-correcting designs. When coupled with error correction code to protect in-pipeline memories, the BISER flip-flop design improves chip-level SER by 10 times over an unprotected pipeline with the flip-flops contributing an extra 7-10.5% in power. When only soft errors in flips-flops are considered, the BISER technique improves chip-level SER by 10 times with an increased power of 10.3%. The error correction mechanism is configurable (i.e., can be turned on or off) which enables the use of the presented techniques for designs that can target multiple applications with a wide range of reliability requirements Ming Zhang 0017, Subhasish Mitra, Norbert Seifert, Nicholas J. Wang, Kee Sup Kim, Naresh R. Shanbhag, Sanjay J. Patel |
IEEE Trans. Very Large Scale Integr. Syst. | 7 |
| 2005 | How to determine the necessity for emerging solutionsabstractDifferent applications for today's chips require different type of optimizations and thus the need to adopt emerging products and solutions to meet such requirements. Optimizing for low power, for high yield, for reduced soft error or minimal bring up time necessitate adequate trade-off analysis and technical/business decision making by management. The lead managers in this session will discuss today's emerging solutions and their economic impact. Nic Mokhoff, Yervant Zorian, Kamalesh N. Ruparel, Hao Nham, Francesco Pessolano, Kee Sup Kim |
DAC | 6 |
| 2005 | XMAX: a practical and efficient compression architectureabstractXMAX is a novel test data compression architecture capable of achieving almost exponential reduction in scan test data volume and test time while allowing use of commercial automatic test pattern generation (ATPG) tools. It tolerates presence of sources of unknown logic values (also referred to as X's) without compromising test quality and diagnosis capability for most practical purposes. The XMAX architecture has been implemented in several industrial designs and produces results that exceeded other commercial offerings in terms of area overhead, test generation time and compression ratio. Kee Sup Kim |
ITC | 1 |
| 2005 | Logic soft errors: a major barrier to robust platform designabstractRadiation induced soft errors in flip-flops, latches and combinational logic circuits, also called logic soft errors, pose a major challenge in the design of robust platforms for enterprise computing and networking applications. Associated power and performance overheads are major barriers to the adoption of classical fault-tolerance techniques to protect such systems from soft errors. Design-for-functional-test and debug resources can be reused for built-in soft error resilience during normal system operation resulting in more than an order of magnitude reduction in the undetected soft error rate. This design technique has negligible area and speed penalties, and the chip-level power penalty is significantly smaller compared to classical fault-tolerance techniques. Subhasish Mitra, Ming Zhang 0017, Norbert Seifert, Victor Zia, Kee Sup Kim |
ITC | 6 |
| 2004 | X-compact: an efficient response compaction techniqueabstractX-Compact is an X-tolerant test response compaction technique. It enables up to exponential reduction in the test response data volume and the number of pins required to collect test response from a chip. The compaction hardware requires negligible area, does not add any extra delay during normal operation, guarantees detection of defective chips even in the presence of unknown logic values (often referred to as X's), and preserves diagnosis capabilities for most practical scenarios. The technique has minimum impact on current design and test flows, and can be used to reduce test time, test-data volume, test-input/output pins and tester channels, and also to improve test quality. Subhasish Mitra, Kee Sup Kim |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. | 2 |
| 2003 | XMAX: X-Tolerant Architecture for MAXimal Test CompressionabstractXMAX is a novel test data compression architecture capable of achieving almost exponential reduction in scan test data volume and test time while allowing use of commercial automatic test pattern generation (ATPG) tools. It tolerates presence of sources of unknown logic values (also referred to as X's) without compromising test quality and diagnosis capability for most practical purposes. The XMAX architecture has been implemented in several industrial designs. Subhasish Mitra, Kee Sup Kim |
ICCD | 2 |
| 2003 | H-DFT: A Hybrid DFT Architecture For Low-Cost High Quality Structural TestingabstractThis paper describes a Hybrid DFT (H-DFT) architecture for low-cost, high quality structural testing in the high volume manufacturing (HVM) environment. This structure efficiently combines several testing and test data compression approaches to enable application of a huge amount of ATPG and Weighed Random-BIST (WR-BIST) patterns. Results obtained from the application of the H-DFT technique to industrial designs demonstrate significant savings in test cost in terms of test data volume and test application time without compromising test quality. Implementation of the HDFT architecture on Intel ASIC and microprocessor designs are described. David M. Wu, Mike Lin, Subhasish Mitra, Kee Sup Kim, Anil Sabbavarapu, Talal Jaber, Pete Johnson, Dale March, Greg Parrish |
ITC | 4 |
| 2002 | X-Compact: An Efficient Response Compaction Technique for Test Cost ReductionabstractWe present a technique for compacting test response data using combinational logic circuits. Our compaction technique enables up to an exponential reduction in the number of pins required to collect test response from a chip. The combinational circuits require negligible area, do not add any extra delay during normal operation, guarantee detection of defective chips even in the presence of sources of unknown logic values (often referred to as Xs) and preserve diagnosis capabilities for all practical scenarios. The technique has minimum impact on current design and test flows, and can be used to reduce test time, test data volume, test-I/O pins and tester channels, and also to improve test quality. Subhasish Mitra, Kee Sup Kim |
ITC | 2 |
| 2001 | SpeedGrade: An RTL Path Delay Fault SimulatorabstractIn the past, research on delay fault testing has been focused on test generation using various delay fault models on full scan gate level netlists. These tests are not very suitable for speed-binning since the confidence that the slowest paths have been covered is low. We have developed a novel methodology with an accompanying tool flow called SpeedGrade that performs path delay fault simulation using an RTL (Register Transfer Level) simulator. This novel method was used to translate the gate level path excitation conditions into higher level of abstraction without loss of accuracy. The higher efficiency of the RTL-based solution allowed for fault grading of functional patterns against the top critical paths in commercial microprocessor designs. The RTL-based approach also had the added benefit of being easier to use for debugging critical paths. Kee Sup Kim, Rathish Jayabharathi, Craig Carstens |
Asian Test Symposium | 1 |
| 2001 | DPDAT: data path direct access testingabstractData Path Direct Access Test, DPDAT, supports efficient structural test of targeted datapath blocks using existing non-datapath DFT features in conjunction with architectural transparency already present in surrounding datapath blocks. This new DFT technique allows ATPG patterns generated at logic block levels to be applied at the full chip without expensive DFT overhead. The results of investigating feasibility on Intel(R) Pentium(R) 4 show existence of these natural transparent paths, low area overhead and high fault coverage using sequential ATPG techniques under DPDAT. Kee Sup Kim, Rathish Jayabharathi, Craig Carstens, Praveen Vishakantaiah, Derek Feltham, Adrian Carbine |
ITC | 1 |
| 1995 | Partial scan flip-flop selection by use of empirical testability
Kee Sup Kim, Charles R. Kime |
J. Electron. Test. | 1 |
| 1994 | Multi-Frequency, Multi-Phase Scan ChainabstractThe use multiple clocks presents an interesting problem to scan design. Traditionally, a separate scan chain has been provided for each clock, which results in longer than necessary scan operations due to unbalanced scan chain length. A set of methods that would allow mixing of memory elements clocked at different frequencies and phases in a single scan chain is presented and the proofs of the correct operation of the methods are given. If multiple scan chains are allowed, these methods make it possible to form scan chains of equivalent length for the savings in test application time and tester memory. Kee Sup Kim, Len Schultz |
ITC | 1 |
| 1993 | Partial Scan Using Reverse Direction Empirical TestabilityabstractThe empirical testability difference (ETD) method for selecting flip-flops (FFs) achieved results superior to compared methods at the expense of substantial CPU time. The new reverse empirical testability difference (RETD) approach starts from a fully scanned circuit and, through several iterations, drops these FFs from the scan chain that have the least effect on the overall circuit testability. In order to further enhance processing efficiency. relative sequential observability, a new distance measure between FFs, permits multiple FFs to be dropped from the scan chain in a single iteration. RETD maintains the same desirable fault coverage-hardware overhead characteristics as ETD. We compare RETD results for a subset of ISCAS89 circuits with a cycle breaking and depth reduction-based method. The results indicate that RETD, in general, achieves better fault coverage for given hardware overhead. The overall amount of CPU time required to achieve comparable, fault-coverage targeted solutions is also shorter for RETD.> Kee Sup Kim, Charles R. Kime |
ITC | 1 |
| 1990 | Partial Scan by Use of Empirical TestabilityabstractThe objective of the partial scan method proposed is to obtain maximum fault coverage for the number of scan elements selected. Empirical testability difference (ETD), a measure of the potential improvement in the overall testability of the circuit, is used to successively select storage elements for scan. ETD is calculated by using testability measures based on empirical evaluation of the circuit with the actual test sequence generator. In addition, ETD focuses on the hard-to-detect faults rather than all faults once such faults are known. The method has been extensively tested with ten of the sequential circuits given by F. Brglez et al. (1989) using the FASTEST provided by T. Kelsey and K. Saluja (1989). The results of these tests indicate that ETD yields on average either 27% of the number of uncovered faults for the same number of scan elements or 21% fewer scan elements for the same fault coverage compared to the other methods studied.> Kee Sup Kim, Charles R. Kime |
ICCAD | 1 |