Demo Data from EDBT 2026 / reviewers in the wild / expert
Kyeongsoon Cho
dblp:41/2024
· DBLP profile ↗
3ranked-venue papers
1as first author
0since 2021 · last 2011
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 3 · 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
2 papers |
Electronic design automation · 94% Integrated circuit design · 6% |
Topics — the 5 heaviest of 6, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Electronic design automation
hardware verification and test |
0.0 | 2 | 1989 | Test Pattern Generation for Sequential MOS Circuits by Symbolic Fault Simulation · DAC 1989 COSMOS: A Compiled Simulator for MOS Circuits · DAC 1987 |
Electronic design automation › hardware verification and test
test generation |
0.0 | 1 | 1989 | Test Pattern Generation for Sequential MOS Circuits by Symbolic Fault Simulation · DAC 1989 |
Electronic design automation
circuit simulation |
0.0 | 1 | 1987 | COSMOS: A Compiled Simulator for MOS Circuits · DAC 1987 |
Electronic design automation › hardware simulation
compiled simulation |
0.0 | 1 | 1987 | COSMOS: A Compiled Simulator for MOS Circuits · DAC 1987 |
Electronic design automation › circuit simulation
switch-level simulation |
0.0 | 1 | 1987 | COSMOS: A Compiled Simulator for MOS Circuits · DAC 1987 |
Methods — techniques the papers use, named apart from their topics
symbolic fault simulation · 0.0boolean function manipulation · 0.0symbolic analysis · 0.0boolean representation · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2011 | Design of high-speed clock recovery circuit for burst-mode applicationsabstractThis paper describes the architecture and design of high-speed clock recovery circuit for burst-mode applications. Since the proposed circuit is non-PLL-type and designed in fully digital style, it can provide faster acquisition time, better scalability and portability compared to PLL-type or analog style clock recovery circuits. The proposed circuit recovers output clock for every transition of input data and does not accumulate output jitter. It does not require any special exquisite techniques to detect the clock with appropriate phase. The phase shifts in recovered clock for input data skew are within ±40ps. The peak to-peak jitter is 49ps and RMS jitter is 4.5ps. The cycle-to-cycle jitter tolerance is ±33.3% UI. The proposed circuit is designed using 130nm, 1.2V CMOS technology and simulated for a pseudo random bit sequence of 2 -1 data at 2.56Gb/s. The acquisition time for the proposed circuit is fast enough to be used in burst-mode applications such as GPON. Soojin Kim, Kyeongsoon Cho |
ISCAS | 2 |
| 1989 | Test Pattern Generation for Sequential MOS Circuits by Symbolic Fault SimulationabstractThe COSMOS symbolic fault simulator generates test sets for combinational and sequential MOS circuits represented at the switch level. All aspects of switch-level networks including bidirectional transistors, stored charge, different signal strengths, and indeterminate (X) logic values are captured. To generate tests for a circuit, the program derives Boolean functions representing the behavior of the good and faulty circuits over a sequence of symbolic input patterns. It then determines a set of assignments to the input variables that will detect all faults. Symbolic simulation provides a natural framework for the user to supply an overall test strategy, letting the program determine the detailed conditions to detect a set of faults. Symbolic preprocessing of switch-level networks, combined with efficient Boolean manipulation makes this approach feasible. Kyeongsoon Cho, Randal E. Bryant |
DAC | 1 |
| 1987 | COSMOS: A Compiled Simulator for MOS CircuitsabstractThe COSMOS simulator provides fast and accurate switch-level modeling of MOS digital circuits. It attains high performance by preprocessing the transistor network into a functionally equivalent Boolean representation. This description, produced by the symbolic analyzer ANAMOS, captures all aspects of switch-level networks including bidirectional transistors, stored charge, different signal strengths, and indeterminate (X) logic values. The LGCC program translates the Boolean representation into a set of machine language evaluation procedures and initialized data structures. These procedures and data structures are compiled along with code implementing the simulation kernel and user interface to produce the simulation program. The simulation program runs an order of magnitude faster than our previous simulator MOSSIM II. Randal E. Bryant, Derek L. Beatty, Karl S. Brace, Kyeongsoon Cho, Thomas J. Sheffler |
DAC | 4 |