An Integrated Design and Verification Methodology for Reconfigurable Multimedia Systems
Multimedia
2011-11-09 v1 Logic in Computer Science
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.
Cite
@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}
}
Comments
Submitted on behalf of EDAA (http://www.edaa.com/)