An Integrated Design and Verification Methodology for Reconfigurable Multimedia Systems

Authors:
M. Borgatti;A. Capello;U. Rossi;J.-L. Lambert;I. Moussa;F. Fummi;G. Pravadelli
Affiliations:
STMicroelectronics, Agrate, Italy;STMicroelectronics, Agrate, Italy;STMicroelectronics, Agrate, Italy;TNI-Valysosys, France;TNI-Valysosys, France;University of Verona, Italy;University of Verona, Italy
Venue:
Proceedings of the conference on Design, Automation and Test in Europe - Volume 3
Year:
2005

Citing 8
Cited 6

RuleBase: an industry-oriented formal verification tool

DAC '96 Proceedings of the 33rd annual Design Automation Conference
Coverage estimation for symbolic model checking

Proceedings of the 36th annual ACM/IEEE Design Automation Conference
Hardware-software co-design of embedded reconfigurable architectures

Proceedings of the 37th Annual Design Automation Conference
Symbolic Model Checking

Symbolic Model Checking
Implicit test generation for behavioral VHDL models

ITC '98 Proceedings of the 1998 IEEE International Test Conference
On the Use of a High-Level Fault Model to Check Properties Incompleteness

MEMOCODE '03 Proceedings of the First ACM and IEEE International Conference on Formal Methods and Models for Co-Design
A Hardware/Software Reconfigurable Architecture for Adaptive Wireless Image Communication

ASP-DAC '02 Proceedings of the 2002 Asia and South Pacific Design Automation Conference
Exploring SW Performance Using SoC Transaction-Level Modeling

DATE '03 Proceedings of the conference on Design, Automation and Test in Europe: Designers' Forum - Volume 2

Incremental ABV for functional validation of TL-to-RTL design refinement

Proceedings of the conference on Design, automation and test in Europe
Hybrid, Incremental Assertion-Based Verification for TLM Design Flows

IEEE Design & Test
Model-based platform-specific co-design methodology for dynamically partially reconfigurable systems with hardware virtualization and preemption

Journal of Systems Architecture: the EUROMICRO Journal
OveRSoC: a framework for the exploration of RTOS for RSoC platforms

International Journal of Reconfigurable Computing - Special issue on selected papers from ReConFig 2008
HIFsuite: tools for HDL code conversion and manipulation

EURASIP Journal on Embedded Systems
FAST: An RTL Fault Simulation Framework based on RTL-to-TLM Abstraction

Journal of Electronic Testing: Theory and Applications

Quantified Score

Hi-index	0.00

Visualization

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.