ISBN-13: 9783869431338 / Niemiecki / Miękka / 2016 / 68 str.
ISBN-13: 9783869431338 / Niemiecki / Miękka / 2016 / 68 str.
Diplomarbeit aus dem Jahr 2007 im Fachbereich Informatik - Theoretische Informatik, Note: 1, Technische Universitat Darmstadt, Sprache: Deutsch, Abstract: Diese Arbeit baut auf einem Programm auf, das einen analogen Schaltkreis in das entsprechende VHDL-Modell zur spateren formalen Verifikation uberfuhrt. Das Programm wurde an der Technischen Universitat in Darmstadt im Fachbereich Rechnersysteme entwickelt und ist durch die Erfolge dieser Arbeit letztendlich einsatzbereit.