可重构多媒体系统的集成设计与验证方法
An Integrated Design and Verification Methodology for Reconfigurable Multimedia Systems
摘要：
近年来，便携式设备上出现了大量的多媒体应用。它们需要可扩展设备（传统上基于软件）的灵活性和强大的计算引擎（通常是硬件）。在这种情况下，可编程硬件和动态重新配置允许新的方法从SW到HW的算法迁移。因此，在Symbad项目的框架下，我们提出了一个可重构SoC的工业设计流程。Symbad的目标是为硬件和软件SoC系统开发一个系统级设计平台，包括正式和半形式化验证技术。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
