H
H. Cho
Researcher at University of Colorado Boulder
Publications - 19
Citations - 791
H. Cho is an academic researcher from University of Colorado Boulder. The author has contributed to research in topics: Sequential logic & Tree traversal. The author has an hindex of 14, co-authored 19 publications receiving 789 citations. Previous affiliations of H. Cho include Motorola.
Papers
More filters
Journal ArticleDOI
Redundancy identification/removal and test generation for sequential circuits using implicit state enumeration
TL;DR: An efficient method based on reachability analysis of the fault-free machine (three-phase ATPG) in addition to the powerful but more resource-demanding product machine traversal is presented.
Proceedings ArticleDOI
ATPG aspects of FSM verification
TL;DR: Algorithms are presented for finite state machine (FSM) verification and image computation which improve on the results of O. Coudert et al (1989), giving 1-4 orders of magnitude speedup.
Proceedings ArticleDOI
Algorithms for Approximate FSM Traversal
TL;DR: Algorithms for approximate FSM traversal based on state space decomposition, based on the exploration of the FSM latch connection graph, and applications to sequential optimization and behavioral verification of FSM's are described.
Journal ArticleDOI
Algorithms for approximate FSM traversal based on state space decomposition
TL;DR: In this paper, the original finite state machine is partitioned in component submachines, and each of them is traversed separately; the result of the computation is an over-estimation of the set of reachable states of the original machine.
Journal ArticleDOI
Synchronizing sequences and symbolic traversal techniques in test generation
TL;DR: It is proved in this article that the same fault coverage, that could be achieved in MOMR, can be obtained in MOSR, if the circuit under test generation is synchronizable.