Die Vorlesung gibt eine Einführung in den computergestützten Schaltkreisentwurf unter besonderer Berücksichtigung von Qualitätsaspekten. Zunächst werden Entwurfsmethoden auf der Basis von Hardware-Beschreibungssprachen beschrieben. Ein Schwerpunkt liegt in der Überprüfung der Korrektheit der entworfenen Schaltung unter Verwendung formaler Methoden.

Folgende Themenbereiche werden behandelt:

• Entwurfsablauf
• Hardware-Beschreibung durch VHDL
• Verifikation/Validierung
• Formale Methoden
• Boolesche Beweismethoden
• Modellprüfung
• Äquivalenzvergleich

• Literaturliste
• VHDL-Beispiele