Showing results 1 to 4 of 4
An automatic interface insertion scheme for in-system verification of algorithm models in C Park, CJ; Ki, A; Park, In-Cheol; Kyung, Chong-Min, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, v.E85A, pp.2645 - 2654, 2002-12 |
C-based RTL design verification methodology for complex microprocessor Yim, JS; Hwang, YH; Park, CJ; Choi, H; Yang, WS; Oh, HS; Park, In-Cheol; et al, Proceedings of the 1997 34th Design Automation Conference, pp.83 - 88, 1997-06-09 |
Design verification of complex microprocessors Yim, JS; Park, CJ; Park, In-Cheol; Kyung, Chong-Min, JOURNAL OF CIRCUITS SYSTEMS AND COMPUTERS, v.7, no.4, pp.301 - 318, 1997-08 |
Verification methodology of compatible microprocessors Yim, JS; Park, CJ; Yang, WS; Oh, HS; Lee, HC; Choi, H; Kim, TH; et al, Proceedings of the 1997 Asia and South Pacific Design Automation Conference, ASP-DAC, pp.173 - 180, 1997-01-28 |
Discover