Search

Start a new search
Current filters:
Add filters:
  • Results/Page
  • Sort items by
  • In order
  • Authors/record

Results 1-6 of 6 (Search time: 0.006 seconds).

NO Title, Author(s) (Publication Title, Volume Issue, Page, Issue Date)
1
Verification of A Microprocessor Using Real World Applications

Chang, Y.S.; Lee, S.J.; Kyung, Chong-Min; Park, In-Cheol, IEEE International High Level Design Validation and Test Workshop(HLDVT'98), pp.204 - 210, IEEE, 1998-11

2
HK386: An x86-compatible 32 bit CISC microprocessor

Kang, Y.J.; Park, S.H.; Kim, J.S.; Kim, D.T.; Maeng, S.R.; Cho,i H.; Lee, S.J.; Kong, B.S.; Seong, K.S.; Hong, S.K.; Park, In-Cheol; Kyung, Chong-Min, Proceedings of the 1997 Asia and South Pacific Design Automation Conference, ASP-DAC, pp.661 - 662, 1997-01-28

3
Early in-system verification of behavioral chip models

Park, C.J.; Lee, S.J.; Park, B.I.; Choi, H.; Lee, J.G.; Kim, Y.I.; Park, In-Cheol; Kyung, Chong-Min, High-level Design Validation and Test Workshop 1999, pp.61 - 65, 1999-09

4
An Efficient Approach to Functional Verification of Complex Processors

Lee, S.J.; Won, N.R.; Cho, H.C.; Park, B.I.; Chang, Y.S.; Park, S.I.; Park, In-Cheol; Kyung, Chong-Min, International Conference on Chip Technology, 1998-04

5
HDL Saver Allowing Restrat after Souce Modification

Chang, Y.S.; Lee, S.J.; Park, In-Cheol; Kyung, Chong-Min, APCHDL'98, pp.23 - 27, 1998-07

6
Verification of a Microprocessor Using Real World Applications

Chang, Y.S.; Lee, S.J.; Park, In-Cheol; Kyung, Chong-Min, The 36th Design Automation Conference(DAC), pp.181 - 184, The 36th Design Automation Conference(DAC), 1999-06

rss_1.0 rss_2.0 atom_1.0