Browse > Article

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