可重构多媒体系统的集成设计与验证方法
多媒体
2011-11-09 v1 计算机科学中的逻辑
摘要
近期，大量多媒体应用涌现于便携式设备中。它们既需要可升级设备（传统上基于软件）的灵活性，也需要强大的计算引擎（通常是硬件）。在此背景下，可编程硬件和动态重配置使得算法从软件迁移到硬件的新方法成为可能。因此，在 Symbad 项目框架内，我们提出了一种用于可重构 SoC 的工业设计流程。Symbad 的目标是开发一个包含形式化和半形式化验证技术的硬件和软件 SoC 系统级设计平台。
引用
@article{arxiv.0710.4846,
title = {An Integrated Design and Verification Methodology for Reconfigurable Multimedia Systems},
author = {M. Borgatti and A. Capello and U. Rossi and J. -L. Lambert and I. Moussa and F. Fummi and G. Pravadelli},
journal= {arXiv preprint arXiv:0710.4846},
year = {2011}
}
评论
Submitted on behalf of EDAA (http://www.edaa.com/)