Sie sind hier
E-Book

Erweiterung der Simulation um die formale Verifikation von Schaltungen mit analogen und gemischt analog-digitalen Eingangssignalen

AutorChristoph Holzbaur
VerlagExamicus Verlag
Erscheinungsjahr2012
Seitenanzahl49 Seiten
ISBN9783656997719
FormatPDF
Kopierschutzkein Kopierschutz/DRM
GerätePC/MAC/eReader/Tablet
Preis9,99 EUR
Studienarbeit aus dem Jahr 2006 im Fachbereich Elektrotechnik, Note: 1, Technische Universität Darmstadt, Sprache: Deutsch, Abstract: In der digitalen Welt ist die Formale Verifikation von Schaltungen sehr verbreitet und wird mit Erfolg eingesetzt. Die Verifikation von nichtlinearen, analogen Schaltungen hingegen ist noch neu. In Schaltkreisen mit digitalen wie auch analogen Teilen entstehen im analogen Anteil ungefähr 50% der Fehler, die zu einer Neuimplementierung führen. Daher ist es von großem Interesse den analogen Teil ebenfalls verifizieren zu können. Dieser Text entstand im Zuge einer Studienarbeit im Bereich Rechnersysteme an der Technischen Universität in Darmstadt. Die Motivation dieser Arbeit ist es, einen bereits bestehenden Ansatz zur Verifikation von analogen Schaltungen unter Verwendung des Model-Checking-Verfahrens zu vervollständigen und effizienter zu gestalten. Dieser verwendete Ansatz von Scholz und Ehrenfried basiert auf der Arbeit von Hartong. Im Zuge der Arbeit wurde weiterhin untersucht, inwiefern sich der verwendete Ansatz um die Möglichkeit der Verifikation von analogen Schaltungen mit verschiedenen Arten von Eingangssignalen erweitern lässt.

Kaufen Sie hier:

Horizontale Tabs

Blick ins Buch

Weitere E-Books zum Thema: Elektronik - Elektrotechnik - Telekommunikation

Logikbausteine

E-Book Logikbausteine
Format: PDF

Aus Sicht der Bausteinarchitekturen werden die grundsätzlichen Einsatzmöglichkeiten feldprogrammierbarer Bausteine beschrieben:- Grundlegende Modelle, Elemente und Programmierverfahren- I/O-…

Logikbausteine

E-Book Logikbausteine
Format: PDF

Aus Sicht der Bausteinarchitekturen werden die grundsätzlichen Einsatzmöglichkeiten feldprogrammierbarer Bausteine beschrieben:- Grundlegende Modelle, Elemente und Programmierverfahren- I/O-…

Mechatronik 1

E-Book Mechatronik 1
Format: PDF

Die Mechatronik vereint Elemente des Maschinenbaus, der Elektrotechnik/Elektronik und der Informatik. Das zweibändige Werk, das sich in erster Linie an Studenten von Fachhochschulen und…

Mechatronik 1

E-Book Mechatronik 1
Format: PDF

Die Mechatronik vereint Elemente des Maschinenbaus, der Elektrotechnik/Elektronik und der Informatik. Das zweibändige Werk, das sich in erster Linie an Studenten von Fachhochschulen und…

Lehr- und Übungsbuch Elektronik

E-Book Lehr- und Übungsbuch Elektronik
Analog- und Digitalelektronik Format: PDF

Das Lehrbuch führt die Studenten im Grundstudium in die Elektroniklehrveranstaltungen Bauelemente, Schaltungs- sowie Analog- und Digitaltechnik ein. Die durchgängige Systematik erleichtert die…

Lehr- und Übungsbuch Elektronik

E-Book Lehr- und Übungsbuch Elektronik
Analog- und Digitalelektronik Format: PDF

Das Lehrbuch führt die Studenten im Grundstudium in die Elektroniklehrveranstaltungen Bauelemente, Schaltungs- sowie Analog- und Digitaltechnik ein. Die durchgängige Systematik erleichtert die…

Weitere Zeitschriften

Ärzte Zeitung

Ärzte Zeitung

Zielgruppe:  Niedergelassene Allgemeinmediziner, Praktiker und Internisten. Charakteristik:  Die Ärzte Zeitung liefert 3 x pro Woche bundesweit an niedergelassene Mediziner ...

Das Grundeigentum

Das Grundeigentum

Das Grundeigentum - Zeitschrift für die gesamte Grundstücks-, Haus- und Wohnungswirtschaft. Für jeden, der sich gründlich und aktuell informieren will. Zu allen Fragen rund um die Immobilie. Mit ...

SPORT in BW (Württemberg)

SPORT in BW (Württemberg)

SPORT in BW (Württemberg) ist das offizielle Verbandsorgan des Württembergischen Landessportbund e.V. (WLSB) und Informationsmagazin für alle im Sport organisierten Mitglieder in Württemberg. ...

ea evangelische aspekte

ea evangelische aspekte

evangelische Beiträge zum Leben in Kirche und Gesellschaft Die Evangelische Akademikerschaft in Deutschland ist Herausgeberin der Zeitschrift evangelische aspekte Sie erscheint viermal im Jahr. In ...

EineWelt

EineWelt

Lebendige Reportagen, spannende Interviews, interessante Meldungen, informative Hintergrundberichte. Lesen Sie in der Zeitschrift „EineWelt“, was Menschen in Mission und Kirche bewegt Man kann ...