Entwurfsmethodik für digitale Systeme
-
- [Becker] Einsatz von Verifikationstechniken unter Berücksichtigung unvollständiger Information Veröffentlichungen
- [Fekete] ReCoNodes-Optimierungsmethodik zur Steuerung hardwarekonfigurierbarer Knoten
- [Hommel] Transiente Leistungsbewertung und Aufbau eines dynamisch rekonfigurierbaren Multiprozessor- bzw. Multi-FPGA-Systems
- AVACS: Automatic Verification and Analysis of Complex Systems
-
- [Trias.html] Weiterbildungsangebote für die FPGA-Programmierung in C
Vorlesungsscripte
Merkliste für eventuell interessante Bücher
-
VHDL 2008: Just the New Stuff, 256 pages, Publisher: Morgan Kaufmann (December 7, 2007), ISBN-10: 0123742498, ISBN-13: 978-0123742490- Douglas L. Perry: VHDL: Programming by Example. ISBN-13: 9780071400701
- Volnei A. Pedroni: Circuit Design with VHDL
- FPGA Compiler II / FPGA Express VHDL Reference Manual.synopsys.
-
- 978-3-8325-0355-0 Frank Schmiedle Exakte Verdrahtung mit symbolischen Methoden 40.50 Eur Logos Verlag
- 978-3-89722-026-3 Jörg Weimar Simulation with Cellular Automata 20.00 Eur Logos Verlag
- 978-3-89722-866-5 Andreas Malik: Model-based Test Generation for Repair 40.50 Eur Logos Verlag
-
Sonstige Links
- Forschungseinrichtungen: FHG Dresden www.eas.iis.fhg.de/es/index_de.html
- Konferenzen: "Embedded Systems Conference, âDATEâ, âEmbedded Systems and Softwareâ
- Fachzeitschriften: âElectronic Embedded Systemeâ
- Internet: www.embedded.com
- ,http://www.ihp-ffo.de/
- E-Books über VHDL und UML: www.ebookaktiv.de/eBook_UML/eBook_UML.htm
Aktuelle studentische Arbeiten
Yu Hong (Bachelorarbeit)
Aufgabenstellung: Verifikation von VHDL-Beispielprogrammen und statistische Aufbereitung der Fehlerdaten
Für eine Sammlung vorgegebener VHDL-Beispielprogramme zur Vorlesung Entwurf digitaler Schaltungen ist der Umfang der Testbeispiele zu erweitern. Die dabei gefundenen Fehler sind zu dokumentieren und zu klassifizieren. Die Klassifizierung soll sich zum einen nach der Art der Fehler richten (fehlerhafte Vereinbahrungen, Fehler im Algorithmus, ...) und zum anderen den Aufwand für die Fehlersuche beschreiben (z.B. nach dem fünften mal durchlesen oder mit dem 11. Testbeispiel gefunden). Die genaue Klassifizierung und die Art der statistischen Aufbereitung der Daten hängt von der Anzahl der Fehler ab, die gefunden werden, und ist noch abzustimmen. In der schriftlichen Ausarbeitung in Form einer pdf-Datei sind exemplarische Beispiele für Tests, insbesondere solche, die viele Fehler aufgedeckt haben, und das Gesamtergebnis im statistischen Sinne zu dokumentieren.
Literatur:
- G. Kemnitz: Test und Verlässlichkeit von Rechner. Springer, 2007
- G. Kemnitz: Entwurf digitaler Schaltungen (Skript zur Vorlesung). 2010
- Peter J. Ashenden: The Designer's Guide to VHDL, Morgan Kaufmann Publishers, Inc. 2006