Travelled to:1 × France
1 × USA
Collaborated with:G.D.Hachtel E.Macii F.Somenzi R.I.Bahar M.Poncino B.Plessier
Talks about:algorithm (2) approxim (2) travers (2) fsm (2) decomposit (1) circuit (1) analysi (1) combin (1) state (1) space (1)
Person: Hyunwoo Cho
DBLP: Cho:Hyunwoo
Contributed to:
1994
1993Wrote 3 papers:
- EDAC-1994-BaharCHMS #analysis #using
- Timing Analysis of Combinational Circuits using ADD’s (RIB, HC, GDH, EM, FS), pp. 625–629.
- EDAC-1994-ChoHMPS #algorithm #approximate #automaton #composition #traversal
- A State Space Decomposition Algorithm for Approximate FSM Traversal (HC, GDH, EM, MP, FS), pp. 137–141.
- DAC-1993-ChoHMPS #algorithm #approximate #automaton #traversal
- Algorithms for Approximate FSM Traversal (HC, GDH, EM, BP, FS), pp. 25–30.