Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Kyeongsoon Cho

dblp:41/2024 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Electronic design automation
hardware verification and test
0.021989
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.011989
Test Pattern Generation for Sequential MOS Circuits by Symbolic Fault Simulation · DAC 1989
Electronic design automation
circuit simulation
0.011987
COSMOS: A Compiled Simulator for MOS Circuits · DAC 1987
Electronic design automation › hardware simulation
compiled simulation
0.011987
COSMOS: A Compiled Simulator for MOS Circuits · DAC 1987
Electronic design automation › circuit simulation
switch-level simulation
0.011987
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
YearPublicationVenuePosition
2011 Design of high-speed clock recovery circuit for burst-mode applications
abstract
This 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
ISCAS2
1989 Test Pattern Generation for Sequential MOS Circuits by Symbolic Fault Simulation
abstract
The 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
DAC1
1987 COSMOS: A Compiled Simulator for MOS Circuits
abstract
The 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
DAC4