Travelled to:2 × USA
Collaborated with:I.Park C.Kyung Y.Chang N.Kim H.Choi S.Lee
Talks about:real (2) microprocessor (1) function (1) virtual (1) target (1) system (1) applic (1) world (1) verif (1) model (1)
Person: Seungjong Lee
DBLP: Lee:Seungjong
Contributed to:
19991998Wrote 2 papers:
- DAC-1999-ChangLPK #using #verification
- Verification of a Microprocessor Using Real World Applications (YSC, SL, ICP, CMK), pp. 181–184.
- DAC-1998-KimCLLPK #functional #modelling
- Virtual Chip: Making Functional Models Work on Real Target Systems (NK, HC, SL, SL, ICP, CMK), pp. 170–173.