In the frame of the Symbad project, an industrial design flow for reconfigurable SoC's is analyzed by a pool of experts in high-level formal proof tools. The goal of Symbad is to introduce formal verification along this flow. As a consequence, formal verification is applied to specific problems related to reconfigurability. The focus of the paper is on the SymbC tool, which is applied during the HW virtualization phase, when it is mandatory to assure that a task mapped on FPGA is available at the time of its call.

A Verification Methodology for Reconfigurable Systems

FUMMI, Franco;MARCONCINI, Cristina;PRAVADELLI, Graziano;
2004-01-01

Abstract

In the frame of the Symbad project, an industrial design flow for reconfigurable SoC's is analyzed by a pool of experts in high-level formal proof tools. The goal of Symbad is to introduce formal verification along this flow. As a consequence, formal verification is applied to specific problems related to reconfigurability. The focus of the paper is on the SymbC tool, which is applied during the HW virtualization phase, when it is mandatory to assure that a task mapped on FPGA is available at the time of its call.
2004
076952320X
reconfigurable SoC; SystemC
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11562/20356
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? 0
social impact