대한전자공학회논문지SD (Journal of the Institute of Electronics Engineers of Korea SD)

대한전자공학회 (The Institute of Electronics and Information Engineers)
권호 표지

CISC micro controller 설계 및 검증 과정에 관한 연구

Design of CISC Micro Controller and Study on Verification Step

  • Kim, Kyoung-Soo (Dept. of Electronic Engineering, Pusan National University) ;
  • Park, Ju-Sung (Dept. of Electronic Engineering, Pusan National University)
  • 발행 : 2004.06.30
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

본 논문은 8비트 마이크로 컨트롤러인 8051과의 호환성을 가진 16비트 마이크로 컨트롤러의 설계 및 검증 과정에 대해서 다루고 있다. 설계 디자인의 동작을 확인하기 위해 명령어별 검증과 명령어 조합에 의해 생성된 다양한 형태의 명령어 셋을 검증했다. 또한 다양한 형태의 명령어를 보다 효율적으로 검증하기 위한 방법을 제시한다. IMA-ADPCM, SOLA 등의 응용 프로그램의 검증을 통해서 설계 디자인의 동작을 확인하였다. 최종적으로 Xilinx FPGA(XCV1000-560C)를 이용한 보드 구현을 통해서 명령어 및 응용 프로그램 등의 동작을 검증했다. 타겟 컨트롤러인 8비트 마이크로 컨트롤러, 8051과의 호환성 및 성능비교를 통해서 널리 사용 중인 8051을 대체 할 수 있고 보다 나은 성능을 발휘할 수 있다는 것을 보인다.

In this paper, we study for the design and verification of a 16 bits micro controller, which is compatible with a 8 bits micro controller, 8051, widely used in the industrial fields these days. To confirm our design, we verified our design for all instruction sets and various combinational sets of them. Also we propose a new idea for the verification of various instruction sets, We verified our design through some application programs such as IMA-ADPCM, SOLA. Finally, we verified our design for all instruction sets and application programs through an application board, used Xilinx FPGA(XCVl000-560C). After the comparison our design with a 8051 for various cases, We concluded that we could substitute our design for a 8051 and our design could be operated more powerfully than a 8051.

키워드

참고문헌

  1. 황기수, '비메모리 산업의 마지막 선택-마이크로 프로세서 & 마이크로 컨트롤러', 전자 공학회지 제22권 제10호, 1995
  2. David A. Patterson, John L. Hennessy, 'Computer Organization & Design, Hardware/Software Interface', Morgan Kaufmann, 1994
  3. John P. Hayes, 'Computer Architecture And Organization', McGraw-Hill, 2nd Edition, 1988
  4. Philips '16-bit 80C51XA Microcontrollers (eXtended Architecture)', Philips semiconductors, 1996
  5. 'Digital Design and Modeling with VHDL and Synthesis', K.C.Chang, 1996
  6. Janick Bergeron, 'Writing Testbenches - Functional Verification of HDL Models', Kluwer Academic publishers, 2001
  7. 'Design Analyzer Reference', synopsys, 1996
  8. 'Logic Synthesis using Synopsys', Pran Kurup & Taher Abbasi, 1995
  9. 이용석 외 4명, '8051 호환 마이크로컨트롤러의 설계', 대한전자공학회 추계학종합 학술대회 논문집 제23권 제2호, pp.173 - 176, 2001년 11월
  10. 이제훈, 조경록, 'CISC 임베디드 컨트롤러를 위한 새로운 비동기 파이프라인 아키텍쳐', 대한전자공학회 논문집 제40권 SD편 제4호, pp275 - 284, 2003년 4월