A Verification Methodology for Reconfigurable Systems

Austin, Texas September 09-September 10

DOI Bookmark:

http://doi.ieeecomputersociety.org/10.1109/MTV.2004.2

Fifth International Workshop on Micro ...

	This Article
	PURCHASE ARTICLE: $19 PDF HTML IEEE Xplore Subscribers
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by M. Borgatti Articles by A. Fedeli Articles by U. Rossi Articles by J.-L. Lambert Articles by I. Moussa Articles by F. Fummi Articles by C. Marconcini Articles by G. Pravadelli

	ASCII Text	x
	M. Borgatti, A. Fedeli, U. Rossi, J.-L. Lambert, I. Moussa, F. Fummi, C. Marconcini, G. Pravadelli, "A Verification Methodology for Reconfigurable Systems," Microprocessor Test and Verification, International Workshop on, pp. 85-90, Fifth International Workshop on Microprocessor Test and Verification (MTV'04), 2004.

	BibTex	x
	@article{ 10.1109/MTV.2004.2, author = {M. Borgatti and A. Fedeli and U. Rossi and J.-L. Lambert and I. Moussa and F. Fummi and C. Marconcini and G. Pravadelli}, title = {A Verification Methodology for Reconfigurable Systems}, journal ={Microprocessor Test and Verification, International Workshop on}, volume = {0}, year = {2004}, issn = {1550-4093}, pages = {85-90}, doi = {http://doi.ieeecomputersociety.org/10.1109/MTV.2004.2}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Microprocessor Test and Verification, International Workshop on TI - A Verification Methodology for Reconfigurable Systems SN - 1550-4093 SP85 EP90 A1 - M. Borgatti, A1 - A. Fedeli, A1 - U. Rossi, A1 - J.-L. Lambert, A1 - I. Moussa, A1 - F. Fummi, A1 - C. Marconcini, A1 - G. Pravadelli, PY - 2004 KW - null VL - 0 JA - Microprocessor Test and Verification, International Workshop on ER -

M. Borgatti, ST-Microlectronics

A. Fedeli, ST-Microlectronics

U. Rossi, ST-Microlectronics

J.-L. Lambert, TNI-Valiosys

I. Moussa, TNI-Valiosys

F. Fummi, Università di Verona

C. Marconcini, Università di Verona

G. Pravadelli, Università di Verona

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.

Citation:

M. Borgatti, A. Fedeli, U. Rossi, J.-L. Lambert, I. Moussa, F. Fummi, C. Marconcini, G. Pravadelli, "A Verification Methodology for Reconfigurable Systems," mtv, pp.85-90, Fifth International Workshop on Microprocessor Test and Verification (MTV'04), 2004

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.