An Integrated Design and Verification Methodology for Reconfigurable Multimedia Systems

TL;DR

This paper presents an integrated design and verification methodology for reconfigurable multimedia systems, combining hardware and software aspects to support flexible, upgradeable portable multimedia devices.

Contribution

It introduces an industrial design flow for reconfigurable SoC systems, incorporating formal and semi-formal verification techniques within a unified system-level design platform.

Findings

Development of a system-level design platform for hardware/software SoC

Implementation of formal verification techniques for reconfigurable systems

Enhanced flexibility and reliability in multimedia system design

Abstract

Recently a lot of multimedia applications are emerging on portable appliances. They require both the flexibility of upgradeable devices (traditionally software based) and a powerful computing engine (typically hardware). In this context, programmable HW and dynamic reconfiguration allow novel approaches to the migration of algorithms from SW to HW. Thus, in the frame of the Symbad project, we propose an industrial design flow for reconfigurable SoC's. The goal of Symbad consists of developing a system level design platform for hardware and software SoC systems including formal and semi-formal verification techniques.