- Bliv medlem
-
Du er ikke logget ind
Log ind Opret dig
Du er ikke logget ind
Beskrivelse
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.
