Seh-Woong Jeong

Results on the Interface between Formal Verification and ATPG

Seh-Woong Jeong, Eric M. Schwarz, Fabio Somenzi, 1990, CAV.

Reducing cache pollution of prefetching in a small data cache

Seh-Woong Jeong, P. Reungsang, Sun Kyu Park, 2001, Proceedings 2001 IEEE International Conference on Computer Design: VLSI in Computers and Processors. ICCD 2001.

Exact calculation of synchronizing sequences based on binary decision diagrams

Seh-Woong Jeong, Carl Pixley, Gary D. Hachtel, 1994, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Exact calculation of synchronization sequences based on binary decision diagrams

Seh-Woong Jeong, Carl Pixley, Gary D. Hachtel, 1992, [1992] Proceedings 29th ACM/IEEE Design Automation Conference.

Efficient random vector verification method for an embedded 32-bit RISC core

Chang-Ho Lee, Sangyeun Cho, Seh-Woong Jeong, 2000, Proceedings of Second IEEE Asia Pacific Conference on ASICs. AP-ASIC 2000 (Cat. No.00EX434).

Extended BDDs: Trading of canonicity for structure in verification algorithms

Fabio Somenzi, Gary D. Hachtel, Bernard Plessier, 1991, Formal Methods Syst. Des..

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

Seh-Woong Jeong, Fabio Somenzi, Gary D. Hachtel, 1991, 1991 IEEE International Conference on Computer-Aided Design Digest of Technical Papers.

3D-Sound System Using TLA Algorithm

Tae-Sun Kim, Seh-Woong Jeong, Byung-Chul Park, 1997 .

A banked-promotion translation lookaside buffer system

Seh-Woong Jeong, Charles C. Weems, Shin-Dug Kim, 2002, J. Syst. Archit..