The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Hyunwoo Cho: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Hyunwoo Cho, Gary D. Hachtel, Enrico Macii, Bernard Plessier, Fabio Somenzi
    Algorithms for Approximate FSM Traversal. [Citation Graph (0, 0)][DBLP]
    DAC, 1993, pp:25-30 [Conf]
  2. R. Iris Bahar, Hyunwoo Cho, Gary D. Hachtel, Enrico Macii, Fabio Somenzi
    Timing Analysis of Combinational Circuits using ADD's. [Citation Graph (0, 0)][DBLP]
    EDAC-ETC-EUROASIC, 1994, pp:625-629 [Conf]
  3. Hyunwoo Cho, Gary D. Hachtel, Enrico Macii, Massimo Poncino, Fabio Somenzi
    A State Space Decomposition Algorithm for Approximate FSM Traversal. [Citation Graph (0, 0)][DBLP]
    EDAC-ETC-EUROASIC, 1994, pp:137-141 [Conf]
  4. Hyunwoo Cho, Gary D. Hachtel, Seh-Woong Jeong, Bernard Plessier, Eric M. Schwarz, Fabio Somenzi
    ATPG Aspects of FSM Verification. [Citation Graph (0, 0)][DBLP]
    ICCAD, 1990, pp:134-137 [Conf]
  5. Hyunwoo Cho, Gary D. Hachtel, Enrico Macii, Massimo Poncino, Fabio Somenzi
    A Structural Approach to State Space Decomposition for Approximate Reachability Analysis. [Citation Graph (0, 0)][DBLP]
    ICCD, 1994, pp:236-239 [Conf]
  6. Hyunwoo Cho, Gary D. Hachtel, Fabio Somenzi
    Redundancy Identification and Removal Based on Implicit State Enumeration. [Citation Graph (0, 0)][DBLP]
    ICCD, 1991, pp:77-80 [Conf]
  7. Hyunwoo Cho, Gary D. Hachtel, Fabio Somenzi
    Fast Sequential ATPG Based on Implicit State Enumeration. [Citation Graph (0, 0)][DBLP]
    ITC, 1991, pp:67-74 [Conf]
  8. R. Iris Bahar, Hyunwoo Cho, Gary D. Hachtel, Enrico Macii, Fabio Somenzi
    Symbolic timing analysis and resynthesis for low power of combinational circuits containing false paths. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. on CAD of Integrated Circuits and Systems, 1997, v:16, n:10, pp:1101-1115 [Journal]
  9. Hyunwoo Cho, Gary D. Hachtel, Enrico Macii, Massimo Poncino, Fabio Somenzi
    Automatic state space decomposition for approximate FSM traversal based on circuit analysis. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. on CAD of Integrated Circuits and Systems, 1996, v:15, n:12, pp:1451-1464 [Journal]
  10. Hyunwoo Cho, Gary D. Hachtel, Enrico Macii, Bernard Plessier, Fabio Somenzi
    Algorithms for approximate FSM traversal based on state space decomposition. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. on CAD of Integrated Circuits and Systems, 1996, v:15, n:12, pp:1465-1478 [Journal]
  11. Hyunwoo Cho, Gary D. Hachtel, Fabio Somenzi
    Redundancy identification/removal and test generation for sequential circuits using implicit state enumeration. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. on CAD of Integrated Circuits and Systems, 1993, v:12, n:7, pp:935-945 [Journal]

Search in 0.007secs, Finished in 0.007secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002