Travelled to:1 × Germany
2 × USA
Collaborated with:P.A.Beerel L.Lavagno E.Sentovich J.R.Burch K.L.McMillan
Talks about:care (3) don (3) minim (2) use (2) bdd (2) reachabl (1) softwar (1) analysi (1) symbol (1) machin (1)
Person: Youpyo Hong
DBLP: Hong:Youpyo
Contributed to:
1999
19981997Wrote 3 papers:
- DATE-1999-HongB #analysis #finite #reachability #scalability #state machine #using
- Symbolic Reachability Analysis of Large Finite State Machines Using Don’t Cares (YH, PAB), p. 13–?.
- DAC-1998-HongBLS #embedded
- Don’t Care-Based BDD Minimization for Embedded Software (YH, PAB, LL, ES), pp. 506–509.
- DAC-1997-HongBBM #using
- Safe BDD Minimization Using Don’t Cares (YH, PAB, JRB, KLM), pp. 208–213.