Seh-Woong Jeong

ATPG aspects of FSM verification

H. Cho, Gary D. Hachtel, Seh-Woong Jeong et al. · 2002 · 123 citations

Computing, Computer Engineering, Computer Science +15

Synchronizing sequences and symbolic traversal techniques in test generation

Hyunwoo Cho, Seh-Woong Jeong, Fabio Somenzi et al. · Journal of Electronic Testing · 1993 · 78 citations

Computing, Computer Engineering, Computer Science +9

Exact calculation of synchronization sequences based on binary decision diagrams

Carl Pixley, Seh-Woong Jeong, Gary D. Hachtel · Design Automation Conference · 1992 · 49 citations

Engineering, Computer Engineering, Computer Science +13

Extended BDD's: trading off canonicity for structure in verification algorithms

Seh-Woong Jeong, B. Plessier, Gary D. Hachtel et al. · 2002 · 43 citations

Engineering, Computer Engineering, Computer Science +16

Variable ordering and selection of FSM traversal

Seh-Woong Jeong, B. Plessier, Gary D. Hachtel et al. · 2002 · 42 citations

Computing, Computer Engineering, Computer Science +14