Pargmann, Hergen (1998) COMDES: Simulations- undVerifikationstechiken für den Hardware Entwurf auf Systemebene. PhD, Universität Oldenburg.

Preview

Volltext (2658Kb)

Abstract

COMDES stellt eine Erweiterung heutiger CAD Tools auf Systemebene dar, wie sie für die Entwicklung komplexer Rechnerarchitekturen adäquat und notwendig ist. COMDES integriert verschiedene formale Methoden der Spezifikation, Simulation und Verifikation in einer homogenen Entwicklungsumgebung, welche alle Phasen eines formal korrekten Entwurfs unterstützt. Die Arbeit stellt - ausgehend von einer Systembeschreibung aus Sicht des Designers - die verwandten Technologien dar. Basierend auf dem Kalkül der Petrinetze werden explizite und symbolische Simulations- und Verifikationsszenarien vorgestellt. Die Anwendung der symbolischen Verifikationskomponente von COMDES auf industrielle, VHDL und StateChart basierte Designszenarien, stellt deren Leistungsfähigkeit unter Beweis.

["eprint_fieldname_abstract_plus" not defined]

COMDES presents an extension of common CAD tools on system level as they required and adequat for the develoment of complex system architectures. COMDES integrates various different formal methods for specification, simulation and verification in a homogenous design environment, which supports all phases of a formal correct hardware design. The work presents - starting from a system description from a designers point of view - the used technologies. Based on the calculus of Petri-nets differnet explicit and symbolic verification scenarios are presented. The Application of the COMDES symbolic verification component to industriel, VHDL and StateChart based design scenarios demonstrates and proves the ability of the COMDES approach.

Item Type:	Thesis (PhD)
Uncontrolled Keywords:	[Keine Schlagwörter von Autor/in vergeben.]
Controlled Keywords:	COMDES, CAD Tools, Simulationstechniken, Verifikationstechniken
Subjects:	Technology, medicine, applied sciences > Engineering and machine engineering
Divisions:	School of Computing Science, Business Administration, Economics and Law > Department of Computing Science
Date Deposited:	17 Jan 2013 14:18
Last Modified:	08 Jul 2013 13:03
URI:	https://oops.uni-oldenburg.de/id/eprint/442
URN:	urn:nbn:de:gbv:715-oops-4751
DOI:
Nutzungslizenz:

Actions (login required)

View Item