Einzeltreffer — DigiBib

In this paper we investigate the formal verification of the Memory Manager block of a System-on-a-Chip platform Protocol Converter using the FonnalCheck tool of Cadence. The Memory Manager represents the main block of the protocol converter and is responsible for the reception of packets and their treatment for conversion. For the verification, we first extracted some constraints to define the environment for the Memory Manager. Then, we specified a number of relevant liveness and safety properties expressible in FonnalCheck. Through extensive verification under the defined set of constraints, we have been able to find a few bugs in the design that were omitted by simulation. This experience demonstrates the usefulness of formal verification as complement to traditional verification by simulation.

Titel:	Formal verification of an SoC platform protocol converter
Autor/in / Beteiligte Person:	BEN HASSEN, Jounaidi ; TAHAR, Sofiène
Link:	View record from PASCAL Archive
Quelle:	2004 IEEE International Symposium on Circuits and Systems (proceedings) :313-316
Veröffentlichung:	Piscataway, New Jersey: IEEE, 2004
Medientyp:	Konferenz
Umfang:	print, 12 ref
Schlagwort:	Electronics Electronique Electrical engineering Electrotechnique Telecommunications Télécommunications Sciences exactes et technologie Exact sciences and technology Sciences appliquees Applied sciences Electronique des semiconducteurs. Microélectronique. Optoélectronique. Dispositifs à l'état solide Semiconductor electronics. Microelectronics. Optoelectronics. Solid state devices Circuits intégrés Integrated circuits Conception. Technologies. Analyse fonctionnement. Essais Design. Technologies. Operation analysis. Testing Circuits intégrés par fonction (dont mémoires et processeurs) Integrated circuits by function (including memories and processors) Circuit intégré Integrated circuit Circuito integrado Convertisseur Converter Convertidor Gestion mémoire Storage management Gestión memoria Système sur puce System on a chip Sistema sobre pastilla Vérification formelle Formal verification
Sonstiges:	Nachgewiesen in: PASCAL Archive Sprachen: English Original Material: INIST-CNRS Document Type: Conference Paper File Description: text Language: English Author Affiliations: Concordia University Electrical and Computer Engineering, Montreal, Quebec, Canada Rights: Copyright 2006 INIST-CNRS ; CC BY 4.0 ; Sauf mention contraire ci-dessus, le contenu de cette notice bibliographique peut être utilisé dans le cadre d’une licence CC BY 4.0 Inist-CNRS / Unless otherwise stated above, the content of this bibliographic record may be used under a CC BY 4.0 licence by Inist-CNRS / A menos que se haya señalado antes, el contenido de este registro bibliográfico puede ser utilizado al amparo de una licencia CC BY 4.0 Inist-CNRS Notes: Electronics

Klicken Sie ein Format an und speichern Sie dann die Daten oder geben Sie eine Empfänger-Adresse ein und lassen Sie sich per Email zusenden.

BibTeX Citavi, JabRef, u.a.
(Literaturverwaltung)

PDF kein Volltext!
(Merkzettel, Notizen)

RIS Endnote, Citavi u.a.
(Literaturverwaltung)

MODS
(XML zur Weiterverarbeitung)

oder

Wählen Sie das für Sie passende Zitationsformat und kopieren Sie es dann in die Zwischenablage, lassen es sich per Mail zusenden oder speichern es als PDF-Datei.

Gewünschter Zitations-Stil:

oder

Bitte prüfen Sie, ob die Zitation formal korrekt ist, bevor Sie sie in einer Arbeit verwenden. Benutzen Sie gegebenenfalls den "Exportieren"-Dialog, wenn Sie ein Literaturverwaltungsprogramm verwenden und die Zitat-Angaben selbst formatieren wollen.

Formal verification of an SoC platform protocol converter