KR100448897B1 - 기능 라이브러리를 내재한 칩 개발 시스템 - Google Patents
기능 라이브러리를 내재한 칩 개발 시스템 Download PDFInfo
- Publication number
- KR100448897B1 KR100448897B1 KR10-2002-0027740A KR20020027740A KR100448897B1 KR 100448897 B1 KR100448897 B1 KR 100448897B1 KR 20020027740 A KR20020027740 A KR 20020027740A KR 100448897 B1 KR100448897 B1 KR 100448897B1
- Authority
- KR
- South Korea
- Prior art keywords
- chip
- library
- software
- development system
- function library
- Prior art date
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/22—Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06K—GRAPHICAL DATA READING; PRESENTATION OF DATA; RECORD CARRIERS; HANDLING RECORD CARRIERS
- G06K7/00—Methods or arrangements for sensing record carriers, e.g. for reading patterns
- G06K7/0095—Testing the sensing arrangement, e.g. testing if a magnetic card reader, bar code reader, RFID interrogator or smart card reader functions properly
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
- G06F30/32—Circuit design at the digital level
- G06F30/33—Design verification, e.g. functional simulation or model checking
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
- G06F30/32—Circuit design at the digital level
- G06F30/33—Design verification, e.g. functional simulation or model checking
- G06F30/3308—Design verification, e.g. functional simulation or model checking using simulation
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Physics & Mathematics (AREA)
- Computer Hardware Design (AREA)
- General Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- Evolutionary Computation (AREA)
- Geometry (AREA)
- Artificial Intelligence (AREA)
- Computer Vision & Pattern Recognition (AREA)
- Quality & Reliability (AREA)
- Debugging And Monitoring (AREA)
- Stored Programmes (AREA)
- Test And Diagnosis Of Digital Computers (AREA)
Abstract
기능 라이브러리를 내재한 칩 개발 시스템이 개시된다. 본 발명의 칩 개발 시스템은 칩 동작을 시뮬레이션하는 디버깅 소프트웨어와, 칩 기능을 소프트웨어적으로 처리한 기능 라이브러리와, 그리고 기능 라이브러리와 디버깅 소프트웨어와의 통신 프로토콜을 저장한 시리얼 입출력 통신 라이브러리를 포함한다. 디버깅 소프트웨어는 어셈블러, 컴파일러, 링커, 디버거 및 시뮬레이터를 포함하고, 기능 라이브러리에는 칩 정보를 암호화하여 대칭 키와 비대칭 키를 발생하는 암호화 코어, 암호화 코어에 의해 무작위로 대칭 키와 비대칭 키가 발생하도록 난수화하는 랜덤 수 발생기, 암호화 코어 및 랜덤 수 발생기로 동기 클럭을 제공하는 랜덤 클럭 발생기, 그리고 칩을 조작하는 터미널과의 통신을 지원하는 입출력 인터페이스 기능을 포함한다. 따라서, 본 발명의 칩 개발 시스템에 의하면, 칩 기능을 소프트웨어적으로 처리한 기능 라이브러리를 통해 칩 동작을 검증할 수 있기 때문에, 종래의 MDS나 애뮬레이션 보드의 하드웨어에 제한되지 않고 자유롭고 용이하게 칩 동작을 검증하고 개발할 수 있으며 칩 개발 시간도 줄일 수 있다.
Description
본 발명은 칩 개발 시스템에 관한 것으로, 특히 기능 라이브러리를 내재한 칩 개발 시스템에 관한 것이다.
대부분의 소비자들은 신용 카드, 현금 카드 등에 익숙해 있다. 이런 카드들은 돈을 인출하거나 이체 또는 소비하는 등에 널리 사용된다. 이들 카드의 뒷면에는 카드홀드(cardholder)에 관한 엔코딩 정보와 카드에 의해 억세스 가능한 계좌가 저장되어 있는 마그네틱 스트립(magnetic strip)을 포함한다. 다양한 형태의 거래를 위하여, 마그네틱 스트립에 정보를 엔코딩하는 대신에 신용 카드 크기의 디바이스 안에 내장된 마이크로 프로세서와 메모리 소자를 포함하는 스마트 카드가 널리 사용되고 있다. 마이크로 프로세서에 의하여, 스마트 카드는 넓은 거래 영역 전반에 걸쳐 상호 작용 가능하고, 카드홀드와 카드홀드 계좌, 거래 순위 또는 기타 정보에 관한 넓고 상세한 정보와의 통신이 가능하다.
이러한 스마트 카드의 개발에 있어서, 애뮬레이션 장치를 이용하여 그 동작을 구현할 수 있다. 일반적으로, 애뮬레이션 장치는 MDS(Micom development System)와 애뮬레이션 보드로 구성되는 하드웨어를 포함하고, 여기에 어플리케이션(application) 환경이 인터페이스(interface)된다. MDS는 CPU 코어에 해당한다. 애뮬레이션 보드에는 평가(evaluation)하고자 하는 타겟 칩(target chip)이 꽂힌다. 어플리케이션 환경은 다양한 소프트웨어로 구현된다.
도 1은 종래의 스마트 카드 개발 시스템을 나타내는 도면이다. 소프트웨어(S/W)에는 어셈블러, 컴파일러, 링커, 디버거, 시뮬레이터 등을 포함한다. 하드웨어(H/W)에는 MDS와 타겟 칩을 내장한 애뮬레이션 보드를 포함하고, RS-232C 인터페이스 카드를 통하여 터미널과 연결된다. MDS는 마이크로 프로세서의 일종으로 타겟 칩의 동작을 제어하고 검증한다.
그런데, 이러한 스마트 카드 개발 시스템은 타겟 칩이 반도체 공정을 통하여 그 동작이 완전히 정해져 버린다. 그리하여 스마트 카드의 동작을 변경하거나 수정하는 일들이 불가능하여 스마트 카드의 개발이 MDS와 애뮬레이션 보드로 구성되는 하드웨어의 기능에 제한되는 문제점을 지닌다.
따라서, 스마트 카드의 개발에 있어서 MDS와 애뮬레이션 보드의 하드웨어에 의해 그 동작이 제한되지 않고 자유롭게 동작 검증할 수 있는 칩 개발 시스템이 요구된다.
본 발명의 목적은 기능 라이브러리를 내재한 칩 개발 시스템을 제공하는 데 있다.
도 1은 종래의 스마트 카드 개발 시스템을 나타내는 도면이다.
도 2는 본 발명의 일실시예에 따른 스마트 카드 개발 시스템을 나타내는 도면이다.
상기 목적을 달성하기 위하여, 본 발명의 칩 개발 시스템은 칩 동작을 시뮬레이션하는 디버깅 소프트웨어와, 칩 기능을 소프트웨어적으로 처리한 기능 라이브러리와 그리고 기능 라이브러리와 디버깅 소프트웨어와의 통신 프로토콜을 저장한 시리얼 입출력 통신 라이브러리를 포함한다. 디버깅 소프트웨어는 어셈블러, 컴파일러, 링커, 디버거 및 시뮬레이터를 포함하고, 기능 라이브러리에는 칩 정보를 암호화하여 대칭 키와 비대칭 키를 발생하는 암호화 코어, 암호화 코어에 의해 무작위로 대칭 키와 비대칭 키가 발생하도록 난수화하는 랜덤 수 발생기, 암호화 코어 및 랜덤 수 발생기로 동기 클럭을 제공하는 랜덤 클럭 발생기, 그리고 칩을 조작하는 터미널과의 통신을 지원하는 입출력 인터페이스 기능을 포함한다.
따라서, 본 발명의 칩 개발 시스템에 의하면, 칩 기능을 소프트웨어적으로 처리한 기능 라이브러리를 통해 칩 동작을 검증할 수 있기 때문에, 종래의 MDS나 애뮬레이션 보드의 하드웨어에 제한되지 않고 자유롭고 용이하게 칩 동작을 검증할 수 있으며 칩 개발 시간도 줄일 수 있다.
이하, 본 발명은 칩 개발 시스템에 관한 것으로, 특히 스마트 카드 개발 시스템에 대하여 기술한다.
도 2는 본 발명의 일실시예에 따른 스마트 카드 개발 시스템을 나타내는 도면이다. 이를 참조하면, 스마트 카드 개발 시스템은 스마트 카드 동작을 시뮬레이션하기 위한 디버깅 소프트웨어(210), 스마트 카드의 기능을 소프트웨어적으로 처리한 기능 라이브러리(220), 기능 라이브러리(220)를 구동하는 디바이스 드라이버(230), 디버깅 소프트웨어(210)와 기능 라이브러리(220)와의 통신 프로토콜 알고리즘을 제공하는 시리얼 입출력 통신 라이브러리(240, SIO communication library), 스마트 카드를 조작하는 터미널(260)과의 통신을 지원하는 카드 어댑터 보드(250, Card Adapter Board)를 포함한다.
디버깅 소프트웨어(210)는 어셈블러(assembler), 컴파일러(compiler), 링커(linker), 디버거(debugger) 및 시뮬레이터(simulator)를 포함하는 데, 기능 라이브러리 파일을 컴파일하고 디버깅하는 데 사용된다.
기능 라이브러리(220)에는 스마트 카드의 정보를 암호화하여 대칭 키와 비대칭 키를 발생하는 암호화 코어와, 암호화 코어에 의해 무작위(random)로 대칭 키와 비대칭 키가 발생되도록 난수화하는 랜덤 수 발생기와, 암호화 코어 및 랜덤 수 발생기로 동기 클럭을 제공하는 랜덤 클럭 발생기를 포함한다. 암호화 코어는 문서 또는 파일 정보 즉, 스마트 카드의 정보를 부호화하는 알고리즘으로 구성되는 크립토 라이브러리(crypto library)로서, DES, RSA, ECC 등을 포함하여 대칭 키와 비대칭 키를 발생시킨다. 랜덤 수 발생기와 랜덤 클럭 발생기는 예측 불가능하게 정보 데이터를 암호화하기 위해 무작위(random)로 동작한다.
이와 같은 스마트 카드 개발 시스템에 의하면, 종래의 MDS와 애뮬레이션 보드의 하드웨어적인 한계로 인해 스마트 카드의 동작 검증이 제한적이던 것을 기능 라이브러리(220)로 대체시키기 때문에, 그 동작 범위가 확장된다. 또한, 스마트 카드를 장착하고 제거하는 등 일련의 과정이 생략되기 때문에, 스마트 카드의 애뮬레이션을 위해 소요되던 물리적인 시간도 줄이는 잇점이 있다.
상술한 본 발명의 칩 개발 시스템에 의하면, 칩 기능을 소프트웨어적으로 처리한 기능 라이브러리를 통해 칩 동작을 검증할 수 있기 때문에, 종래의 MDS나 애뮬레이션 보드의 하드웨어에 제한되지 않고 자유롭고 용이하게 칩 동작을 검증하고 개발할 수 있다. 그리고, 칩 개발에 소요되는 시간을 줄일 수 있다.
Claims (4)
- 칩 개발 시스템에 있어서,칩 동작을 시뮬레이션하는 디버깅 소프트웨어;칩 기능을 소프트웨어적으로 처리하며, 상기 디버깅 소프트웨어에 의해 구동되는 기능 라이브러리; 및상기 기능 라이브러리와 상기 디버깅 소프트웨어 사이에 연결되며, 상기 기능 라이브러리와 상기 디버깅 소프트웨어간의 통신을 위한 통신 프로토콜을 제공하는 시리얼 입출력 통신 라이브러리를 구비하되,상기 기능 라이브러리는 상기 칩 기능을 소프트웨어적으로 구현한 것임을 특징으로 하는 칩 개발 시스템.
- 제1항에 있어서,상기 디버깅 소프트웨어는 어셈블러, 컴파일러, 링커, 디버거 및 시뮬레이터를 구비하는 것을 특징으로 하는 칩 개발 시스템.
- 제1항에 있어서,상기 기능 라이브러리는 상기 디버깅 소프트웨어로 전달되는 칩 정보를 암호화하여 대칭 키와 비대칭 키를 발생하는 암호화 코어;상기 암호화 코어에 의해 상기 대칭 키와 상기 비대칭 키가 무작위로 발생하도록 난수화하는 랜덤 수 발생기; 및상기 암호화 코어 및 상기 랜덤 수 발생기로 동기 클럭을 제공하는 랜덤 클럭 발생기를 구비하는 것을 특징으로 하는 칩 개발 시스템.
- 제3항에 있어서,상기 기능 라이브러리는 상기 칩 동작을 조작하는 터미널과의 통신을 지원하는 입출력 인터페이스 기능을 더 포함하는 것을 특징으로 하는 칩 개발 시스템.
Priority Applications (4)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
KR10-2002-0027740A KR100448897B1 (ko) | 2002-05-20 | 2002-05-20 | 기능 라이브러리를 내재한 칩 개발 시스템 |
US10/383,606 US20030216902A1 (en) | 2002-05-20 | 2003-03-10 | Chip development system with built-in function library |
DE10318812A DE10318812A1 (de) | 2002-05-20 | 2003-04-17 | Chipentwicklungssystem und Chipentwicklungsverfahren |
FR0305900A FR2839798A1 (fr) | 2002-05-20 | 2003-05-16 | Systeme et procede de developpement de puces |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
KR10-2002-0027740A KR100448897B1 (ko) | 2002-05-20 | 2002-05-20 | 기능 라이브러리를 내재한 칩 개발 시스템 |
Publications (2)
Publication Number | Publication Date |
---|---|
KR20030089843A KR20030089843A (ko) | 2003-11-28 |
KR100448897B1 true KR100448897B1 (ko) | 2004-09-16 |
Family
ID=29398530
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
KR10-2002-0027740A KR100448897B1 (ko) | 2002-05-20 | 2002-05-20 | 기능 라이브러리를 내재한 칩 개발 시스템 |
Country Status (4)
Country | Link |
---|---|
US (1) | US20030216902A1 (ko) |
KR (1) | KR100448897B1 (ko) |
DE (1) | DE10318812A1 (ko) |
FR (1) | FR2839798A1 (ko) |
Families Citing this family (7)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
KR100490899B1 (ko) * | 2002-11-15 | 2005-05-24 | 한국전자통신연구원 | 자바 카드 개발 환경을 위한 암호 알고리즘 패키지 추가 기능 구현 방법 |
WO2005103922A2 (en) * | 2004-03-26 | 2005-11-03 | Atmel Corporation | Dual-processor complex domain floating-point dsp system on chip |
TWI244315B (en) * | 2004-09-02 | 2005-11-21 | Inventec Appliances Corp | Apparatus for showing remaining balance value of electronic ticket card on portable electronic device and wirelessly adding value to the electronic ticket card by means of the portable electronic device and method therefor |
CN103064701B (zh) * | 2012-12-11 | 2016-08-03 | 国网智能电网研究院 | Mmc柔性直流输电阀基控制器程序在线烧写系统 |
FR3048298B1 (fr) * | 2016-02-26 | 2018-11-02 | Gie Sesam-Vitale | Systeme de simulation de cartes a puces. |
CN109977023A (zh) * | 2019-04-03 | 2019-07-05 | 北京智芯微电子科技有限公司 | 支持调试权限控制的cpu芯片仿真器 |
CN111865574A (zh) * | 2020-06-22 | 2020-10-30 | 北京智芯微电子科技有限公司 | 支持数据安全传输的cpu芯片仿真器及数据安全传输方法 |
Family Cites Families (9)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US5666411A (en) * | 1994-01-13 | 1997-09-09 | Mccarty; Johnnie C. | System for computer software protection |
US6130602A (en) * | 1996-05-13 | 2000-10-10 | Micron Technology, Inc. | Radio frequency data communications device |
CN1280755C (zh) * | 1997-12-10 | 2006-10-18 | 精工爱普生株式会社 | 系统大规模集成电路与电子设备 |
US6223144B1 (en) * | 1998-03-24 | 2001-04-24 | Advanced Technology Materials, Inc. | Method and apparatus for evaluating software programs for semiconductor circuits |
US6419159B1 (en) * | 1999-06-14 | 2002-07-16 | Microsoft Corporation | Integrated circuit device with power analysis protection circuitry |
US20020138244A1 (en) * | 1999-09-30 | 2002-09-26 | Meyer Steven J. | Simulator independent object code HDL simulation using PLI |
US7072818B1 (en) * | 1999-11-30 | 2006-07-04 | Synplicity, Inc. | Method and system for debugging an electronic system |
WO2002008966A2 (en) * | 2000-07-21 | 2002-01-31 | Telecom Italia Lab S.P.A. | Method and system for verifying modules destined for generating circuits |
GB2368669B (en) * | 2000-10-31 | 2005-06-22 | Advanced Risc Mach Ltd | Integrated circuit configuration |
-
2002
- 2002-05-20 KR KR10-2002-0027740A patent/KR100448897B1/ko not_active IP Right Cessation
-
2003
- 2003-03-10 US US10/383,606 patent/US20030216902A1/en not_active Abandoned
- 2003-04-17 DE DE10318812A patent/DE10318812A1/de not_active Ceased
- 2003-05-16 FR FR0305900A patent/FR2839798A1/fr active Pending
Also Published As
Publication number | Publication date |
---|---|
KR20030089843A (ko) | 2003-11-28 |
DE10318812A1 (de) | 2003-12-24 |
US20030216902A1 (en) | 2003-11-20 |
FR2839798A1 (fr) | 2003-11-21 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
EP2775421B1 (en) | Trusted terminal platform | |
US6065679A (en) | Modular transaction terminal | |
US8249993B2 (en) | Transparently securing data for transmission on financial networks | |
US20040044739A1 (en) | System and methods for processing PIN-authenticated transactions | |
KR100871182B1 (ko) | Sim 장치용 컴퓨터 시스템 내에 신뢰 채널을 제공하는방법 및 시스템 | |
CN107832589B (zh) | 软件版权保护方法及其系统 | |
US7372290B2 (en) | System and method for using dummy cycles to mask operations in a secure microcontroller | |
US20060265736A1 (en) | Encryption system and method for legacy devices in a retail environment | |
BR0308965A (pt) | Sistema e método para transação segura com cartão de crédito e/ou débito | |
EP2649574A1 (en) | Hand-held self-provisioned pin red communicator | |
CN105957276A (zh) | 基于Android系统智能POS安全系统及启动、数据管控方法 | |
KR100448897B1 (ko) | 기능 라이브러리를 내재한 칩 개발 시스템 | |
KR101677803B1 (ko) | 카드 리더, 단말기, 중계 서버 및 그를 이용한 결제 정보 처리 방법 | |
de Koning Gans et al. | The smartlogic tool: Analysing and testing smart card protocols | |
KR20010014257A (ko) | 지불 프로세스 및 시스템 | |
Toegl et al. | An approach to introducing locality in remote attestation using near field communications | |
Han et al. | Implementation of ECC/ECDSA cryptography algorithms based on Java card | |
JP2004126841A (ja) | プログラム実装方法 | |
Husemann | Standards in the smart card world | |
US11551220B2 (en) | Method for processing transaction data, corresponding communications terminal, card reader and program | |
KR100791269B1 (ko) | 정보처리 방법 및 시스템과 이를 위한 프로그램 기록매체 | |
Chaumette et al. | An Efficient and Simple Way to Test the Security of Java CardsTM. | |
Schaumont et al. | Multilevel design validation in a secure embedded system | |
Yang et al. | RFID/NFC Security | |
Talamo et al. | Interleaving command sequences: a threat to secure smartcard interoperability |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A201 | Request for examination | ||
E902 | Notification of reason for refusal | ||
E701 | Decision to grant or registration of patent right | ||
GRNT | Written decision to grant | ||
FPAY | Annual fee payment |
Payment date: 20080904 Year of fee payment: 5 |
|
LAPS | Lapse due to unpaid annual fee |