1 |
P. Rashinkar, P. Paterson, and L. Singh, System-on-a-chip Verification : Methodology and Techniques, Kluwer Academic Pub., 2001
|
2 |
R. Ortega, L. Lavagno, and G. Borriello, 'Models and Methods for HW/SW Intellectual Property Interfacing', in Proc. int. Symp. System- level Synthesis, Hsinchu, Taiwan, pp. 397-432, July 1998
|
3 |
A. Wenban, J. O'Leary, and G. Brown, 'Codesign of Communication Protocols', Computer, IEEE, Vol. 26 No. 12, pp. 46-52, Dec. 1993
DOI
|
4 |
이서훈, 문종욱, 황선영, 'FSM을 이용한 표준화된 버스와 IP간의 인터페이스 회로 자동생성에 관한 연구' 한국통신학회 논문지, 제 30권, 2A호, pp. 137-146, 2005년 2월
과학기술학회마을
|
5 |
A. Rubini, J. Corbet, and G. Kroah-Hartman, Linux Device Drivers, 3rd Edition, O'Reilly Pub, 2005
|
6 |
Jungo, Windriver, http://www.jungo.com/support/support_windriver.html
|
7 |
Compuware, DriverStudio, http://www.compuware.com/products/driverstudio/default.htm
|
8 |
Microsoft, Windows Driver Development kit, http://www.microsoft.com/whdc/devtools/ddk/default.mspx
|
9 |
T. Katayama, K. Saisho, and A. Fukuda, 'Prototype of the Device Driver Generation System for UNIX-like Operating Systems' in Proc. Int. Symp. Principles of Software Evolution, Kanazawa, Japan, pp. 302-310, Nov. 2000
|
10 |
Y. Ma and C. Lim, 'Test System for Device Drivers of Embedded Systems' in Proc. ICACT, Phoenix park, Gangwon-Do, Korea, Vol. 1, pp. 550-552, Feb. 2006
|
11 |
Y. Choi, W. Kwon, and H. Kim, 'Code Generation for Linux Device Driver' in Proc. ICACT, Phoenix park, Gangwon-Do, Korea, Vol. 1, pp. 734-737, Feb. 2006
|
12 |
이서훈, 강경구, 황선영, 'Protocol Mapping을 이용한 인터페이스 자동생성 기법 연구' 한국통신학회 논문지, 제 31권, 8A호, pp. 820-829, 2006년 7월
과학기술학회마을
|
13 |
P. Chou, B. Ortega, and G. Borriello, 'Interface Co-Synthesis Techniques for Embedded System', in Proc. ICCAD, San Jose, CA, pp. 280-287, Nov. 1995
|
14 |
T. Katayama, K. Saisho, and A. Fukuda, 'Proposal of a Support System for Device Driver Generation' in Proc. Software Engineering Conf., pp. 494-497, Dec. 1999
|