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
Weitere E-Books zum Thema: Elektronik - Elektrotechnik - Telekommunikation
Schwerpunktmäßig geht es um elektrische Antriebe mit Drehfeldmaschinen im Leistungsbereich von ca. 100 W bis 100 kW. Vor allem kostengünstige, robuste und wartungsarme Lösungen…
Schwerpunktmäßig geht es um elektrische Antriebe mit Drehfeldmaschinen im Leistungsbereich von ca. 100 W bis 100 kW. Vor allem kostengünstige, robuste und wartungsarme Lösungen…
Aus Sicht der Bausteinarchitekturen werden die grundsätzlichen Einsatzmöglichkeiten feldprogrammierbarer Bausteine beschrieben:- Grundlegende Modelle, Elemente und Programmierverfahren- I/O-…
Aus Sicht der Bausteinarchitekturen werden die grundsätzlichen Einsatzmöglichkeiten feldprogrammierbarer Bausteine beschrieben:- Grundlegende Modelle, Elemente und Programmierverfahren- I/O-…
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…
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…
Neben der Handhabung des Programms wird auch die Arbeitsweise anhand eines Beispiels ausführlich erklärt. Dabei verzichtet der Autor auf die Erläuterung innerer Abläufe bei der…
Neben der Handhabung des Programms wird auch die Arbeitsweise anhand eines Beispiels ausführlich erklärt. Dabei verzichtet der Autor auf die Erläuterung innerer Abläufe bei der…
Das Lehrbuch führt die Studenten im Grundstudium in die Elektroniklehrveranstaltungen Bauelemente, Schaltungs- sowie Analog- und Digitaltechnik ein. Die durchgängige Systematik erleichtert die…
Das Lehrbuch führt die Studenten im Grundstudium in die Elektroniklehrveranstaltungen Bauelemente, Schaltungs- sowie Analog- und Digitaltechnik ein. Die durchgängige Systematik erleichtert die…
Zielgruppe:
Niedergelassene Allgemeinmediziner, Praktiker und
Internisten.
Charakteristik:
Die Ärzte Zeitung liefert 3 x pro Woche bundesweit
an niedergelassene Mediziner ...
Auszüge aller europäischen Patentanmeldungen in sechs Teilausgaben. Bibliographie, Hauptanspruch, wichtigste Zeichnung. Dokumentation des Hauptanspruchs in der Amtssprache der jeweiligen Anmeldung. ...
Offenlegungsschriften der Patentanmeldungen beim Deutschen Patent- und Markenamt in drei Teilausgaben. Bibliographie, Hauptanspruch und wichtigste Zeichnung. Auszüge aus den Patentschriften ohne ...
Beiträge zur Namenforschung. Neue Folge ist eine internationale fachübergreifende Zeitschrift für Namenforschung. In den Artikeln werden Probleme der Ortsnamen- wie Personenamenforschung und der ...
Berichte und Neuigkeiten aus den Arbeitsgebieten der Diakonie in Düsseldorf. Gibt es Gebrauchsanweisungen, die einen in die Welt des Glaubens einführen? Nun, natürlich nicht in der Art, wie es ...
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 ...
Gefahrgutvorschriften sind kompliziert, sie in die Praxis umzusetzen ist es auch. der gefahrgutbeauftragte macht die Arbeit leichter: Gefahrgutbeauftragten, beauftragten Personen und ...
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. ...
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 ...
Lebendige Reportagen, spannende Interviews, interessante Meldungen, informative Hintergrundberichte. Lesen Sie in der Zeitschrift „EineWelt“, was Menschen in Mission und Kirche bewegt
Man kann ...