Erweiterung Der Simulation Um Die Formale Verifikation Von Schaltungen Mit Analogen Und Gemischt Analog-Digitalen Eingangssignalen.cChristoph Holzbaur
--------------------------------------------------------------- Author: Christoph Holzbaur Number of Pages: 56 pages Published Date: 04 Sep 2013 Publisher: GRIN Verlag Publication Country: Norderstedt, Germany Language: German Format: Pdf ISBN: 9783656997764 File Name: Erweiterung.Der.Simulation.Um.Die.Formale.Verifikation.Von.Schaltungen.Mit.Analogen.Und.Gemischt.Analog-Digitalen.Eingangssignalen.pdf Download Link: Erweiterung Der Simulation Um Die Formale Verifikation Von Schaltungen Mit Analogen Und Gemischt Analog-Digitalen Eingangssignalen --------------------------------------------------------------- Studienarbeit aus dem Jahr 2006 im Fachbereich Elektrotechnik, Note: 1, Technische Universitat 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 ungefahr 50% der Fehler, die zu einer Neuimplementierung fuhren. Daher ist es von grossem Interesse den analogen Teil ebenfalls verifizieren zu konnen. Dieser Text entstand im Zuge einer Studienarbeit im Bereich Rechnersysteme an der Technischen Universitat in Darmstadt. Die Motivation dieser Arbeit ist es, einen bereits bestehenden Ansatz zur Verifikation von analogen Schaltungen unter Verwendung des Model-Checking-Verfahrens zu vervollstandigen 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 Moglichkeit der Verifikation von analogen Schaltungen mit verschiedenen Arten von Eingangssignalen erweitern lasst Read online Erweiterung Der Simulation Um Die Formale Verifikation Von Schaltungen Mit Analogen Und Gemischt Analog-Digitalen Eingangssignalen Buy and read online Erweiterung Der Simulation Um Die Formale Verifikation Von Schaltungen Mit Analogen Und Gemischt Analog-Digitalen Eingangssignalen Download and read Erweiterung Der Simulation Um Die Formale Verifikation Von Schaltungen Mit Analogen Und Gemischt Analog-Digitalen Eingangssignalen ebook, pdf, djvu, epub, mobi, fb2, zip, rar, torrent Download to iPad/iPhone/iOS, B&N nook Erweiterung Der Simulation Um Die Formale Verifikation Von Schaltungen Mit Analogen Und Gemischt Analog-Digitalen Eingangssignalen ebook, pdf, djvu, epub, mobi, fb2, zip, rar, torrent Download more files: nik viveza 2 serial number macTwo Medicine Lake Safety Book : The Essential Lake Safety Guide for Children ebook mutualistic-networks-download-pdf-epub-kindle
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. Archives
January 2020
Categories |