Virtual Chip: Making Functional Models Work on Real Target Systems. - Namseung Kim; Hoon Choi; Seungjong Lee; Seungwang Lee; In-Cheol Park; Chong-Min Kyung (DAC, 1998)