재구성 가능한 멀티미디어 시스템을 위한 통합 설계·검증 방법론

초록

최근 휴대용 기기에서 멀티미디어 애플리케이션이 급증하고 있다. 이러한 애플리케이션은 전통적으로 소프트웨어 기반인 유연한 업그레이드 기능과, 일반적으로 하드웨어가 제공하는 강력한 연산 능력을 동시에 요구한다. 프로그래머블 하드웨어와 동적 재구성을 활용하면 알고리즘을 소프트웨어에서 하드웨어로 이전하는 새로운 접근이 가능해진다. 본 논문에서는 Symbad 프로젝트의 일환으로 재구성 가능한 SoC를 위한 산업용 설계 흐름을 제안한다. Symbad의 목표는 하드웨어·소프트웨어 시스템을 포괄하는 시스템‑레벨 설계 플랫폼을 구축하고, 형식적·반형식적 검증 기법을 통합하는 것이다.

상세 요약

본 논문이 다루는 핵심 문제는 휴대용 멀티미디어 기기의 급격한 성능·전력 요구와 빠른 시장 변화에 대응하기 위해, 소프트웨어와 하드웨어의 경계를 유연하게 넘나들 수 있는 설계·검증 프레임워크를 제공하는 것이다. 전통적인 설계 흐름은 하드웨어와 소프트웨어를 별개의 개발 영역으로 취급해, 알고리즘을 하드웨어로 이식할 때 큰 비용과 시간이 소요된다. 반면, 프로그래머블 로직(예: FPGA)과 동적 재구성 기술을 활용하면, 실행 중에도 하드웨어 가속기를 삽입·교체할 수 있어, 초기에는 소프트웨어로 구현하고 성능이 요구되는 시점에 선택적으로 하드웨어 가속을 적용할 수 있다.

Symbad 프로젝트는 이러한 아이디어를 산업 수준의 설계 흐름으로 구체화한다. 첫 단계는 시스템‑레벨 모델링으로, C/C++ 혹은 SystemC와 같은 고수준 언어로 전체 애플리케이션을 기술한다. 이후, 프로파일링 도구를 이용해 병목 구간을 자동으로 식별하고, 해당 구간을 하드웨어 가속기로 매핑한다. 매핑 과정에서는 고수준 합성 툴을 사용해 RTL 코드를 생성하고, 재구성 가능한 비트스트림을 생성한다.

검증 측면에서는 형식적 검증(FMV)과 반형식적 검증(SMV)을 병행한다. 형식적 검증은 하드웨어 가속기의 기능적 정확성을 수학적으로 증명함으로써, 설계 단계에서 발생할 수 있는 논리 오류를 완전히 제거한다. 반면, 반형식적 검증은 시뮬레이션 기반 테스트와 커버리지 분석을 통해 실시간 시스템 통합 시 발생할 수 있는 인터페이스 오류나 타이밍 문제를 탐지한다. 두 검증 기법을 통합함으로써, 설계자는 높은 신뢰성을 유지하면서도 검증 비용을 최소화할 수 있다.

또한, 동적 재구성을을 지원하기 위해 런타임 재구성 관리 모듈을 설계한다. 이 모듈은 현재 실행 중인 애플리케이션의 상태를 저장하고, 필요 시 새로운 비트스트림을 로드하여 하드웨어 구조를 교체한다. 이를 통해 전력 소비를 최소화하고, 사용자가 요구하는 새로운 기능을 즉시 제공할 수 있다.

결과적으로, Symbad는 하드웨어·소프트웨어 공동 설계(Co‑Design)와 형식·반형식 검증을 하나의 흐름에 통합함으로써, 재구성 가능한 멀티미디어 시스템의 개발 주기를 크게 단축하고, 설계 품질을 향상시킨다. 이러한 접근은 차세대 모바일 및 임베디드 플랫폼에서 하드웨어 가속을 효율적으로 활용하려는 기업들에게 중요한 기술적 기반을 제공한다.