VERTIGO (IST 033709), 임베디드 시스템 디자인 워크벤치의 검증 및 확인

뉴스 제공

2007-02-06 14:49

서울--(뉴스와이어)--'6차 프레임워크 프로그램인 제2순위 정보 사회 기술의 전략적 목표 연구 프로젝트'

VERTIGO (Verification and validation of Embedded System Design workbench)라 명명된 전략적 목표 연구 프로젝트는 임베디드 시스템 분야에서 유럽 전자 산업의 경쟁력을 지속적으로 보장하려는 목적을 갖고 있다. 유럽공동체가 6차 프레임워크 프로그램의 IST (Information Society Technology, 정보사회기술) 부문에서 착수한 이 프로젝트에는 세계 최대의 반도체 제조업체이자 시스템온칩 (SoC) 기술 선두업체인 STMicroelectronics, 디자인 검증 툴 분야의 전문 업체인 Aerielogic 및 TransEDA Systems, Linköpings (스웨덴), Southampton (영국), Tallinn (에스토니아), Verona (이탈리아)의 유럽 4개 대학이 상호 보완적인 전문성을 갖고 참여하고 있다. 이 프로젝트의 목적은 구성 가능한 플랫폼에 장착된 임베디드 시스템을 대상으로 아키텍처 모델링, 통합 및 검증을 향상시킬 수 있는 체계적인 방법을 개발하는 것이다.

임베디드 시스템은 프로세서 관련 메모리를 갖춘 1개 이상의 마이크로프로세서 및 특별한 기능을 수행하는 주변기기 회로를 내장하고 있는 복잡한 전자 회로이다. 주변기기 기능으로는 USB 또는 CAN과 같은 프로토콜을 통한 외부 세계와의 통신이 있다. 사용자가 언제나 설치 또는 실행할 프로그램을 선택할 수 있는 PC나 랩톱과 달리 임베디드 시스템은 특정한 작업군만 수행한다. 따라서 임베디드 시스템에는 시스템의 전자 하드웨어와 소프트웨어가 모두 포함된다. 임베디드 시스템의 실례로는 전력 도구나 가전 기구를 제어하는 저가의 마이크로컨트롤러부터 셋톱 박스 등의 애플리케이션에 사용되는 매우 정교한 SoC 디바이스들이 있다.

오늘날의 첨단 임베디드 시스템에는 수억 개의 트랜지스터가 들어 있기 때문에 각 애플리케이션에 맞는 새로운 하드웨어를 설계할 만한 리소스나 시간을 투자하기가 현실적으로 어렵다. 그 대신에, 플랫폼 기반 방식이 일반적인 하드웨어 블록을 구성함으로써 구축되는 특정 유형의 어플리케이션용 하드웨어에 일반적으로 사용된다.

VERTIGO 프로젝트는 시스템 수준의 모델링 및 트랜잭션 단계 및 기존의 RTL (Register Transfer Level) signoff description에서 실행되는 검증 사이의 격차를 해소하는데 목적이 있다. VERTIGO는 동작 합성 (behavioral synthesis)에는 관여하지 않지만, 이 프로젝트를 통해 어떠한 진보 기술이 사용되더라도 서로 다른 TLM (Transaction Level Models) 및 RTL의 일치를 수월하게 확인할 수 있을 것이다. STMicroelectronics가 개발한 임베디드 시스템으로 실시하는 사례 연구는 TLM과 RTL를 모두 포함하는 혼합 수준/혼합 언어 흐름에 초점을 맞출 것이다.

VERTIGO 프로젝트를 지휘하면서 STMicroelectronics의 기능 검증 지원을 담당하고 있는 움베르토 로시 (Umberto Rossi)는 “ST는 VERTIGO를 통해 몇 가지 기술 혁신을 달성하길 바라고 있다. 이 중에서 가장 중요한 것은 서로 다른 분리 단계에서 시스템 검증을 실시할 수 있는 TLM과 RTL에 공통의 표현 적용 기준을 개발하는 것이다.”라고 말했다.

VERTIGO 프로젝트에서는 설계 흐름 모델링과 검증의 다양한 단계 (SW, TLM 수준, RTL 수준, 모듈 수준 및 시스템 수준)에 기여할 수 있는 몇 가지 정식 기법을 조사하여 시뮬레이션 기반 접근 방식 (동적 검증)과 통합할 것이다. 적용 범위를 측정할 때는 TLM과 관련 메트릭에 중점을 두고 정적 및 동적 검증 모두에서 사용할 수 있는 보장 기반 검증 (ABV) 방식을 개발할 예정이다. 마지막으로 프로젝트팀은 임베디드 플랫폼 테스트용 SW 루틴을 개발할 수 있는 SW/HW 공동 검증 환경을 프로토타입화할 것이다.

VERTIGO는 Accelera 같은 공공 컨소시엄의 로드맵을 참조하여 TLM 표준화를 위한 검증 표준과 OSCI를 개발할 것이다.

2006년 6월 1일에 시작된 VERTIGO 프로젝트는 2008년 11월 30일까지 진행될 것이다. 이 프로젝트는 European Research 활동에 속하는 6차 프레임워크 프로그램 (FP6) 2002 ~ 2006을 위한 정보사회기술 (IST)의 ‘임베디드 시스템’ 전략 목표에 적합하다 (http://cordis.europa.eu/ist/embedded 참조). “지능형 디바이스에 내장되는 하드웨어/소프트웨어 시스템의 모델링, 설계, 구현 및 작동을 위한 차세대 기술, 방법 및 도구를 개발하기 위하여, 엔드-투-엔드 시스템 비전을 통해 최적의 기능, 고신뢰성, 타임투마켓 단축 및 신속한 개발을 갖춘 비용 효율적 환경 지능형 시스템을 구축하도록 해야 한다.”

Vertigo 프로젝트에 대한 자세한 정보는 www.vertigo-project.eu에서 확인할 수 있다.

ST마이크로일렉트로닉스 개요
ST마이크로일렉트로닉스는 혁신적인 반도체 솔루션을 다양한 전자 애플리케이션 분야의 고객들에게 제공하고 있는 세계적인 선도업체이다. ST는 자사의 방대한 기술, 설계 전문기술 및 IP 포트폴리오 통합, 전략적 협력업체와 강력한 제조시설 등을 활용하여 멀티미디어 컨버전스 및 전력 애플리케이션 분야에서 명실상부한 선도업체가 되는 것을 목표로 하고 있다. ST의 2010년도 매출은 103억 5,000만 달러이다. ST에 대한 보다 상세한 정보는 www.st.com를 참조하라.

웹사이트: http://www.st.com