Thomas Kropf

• Introduction to Formal Hardware Verification
• Formal hardware verification
• Formal Hardware Verification
• Introduction to Formal Hardware Verification
• Correct Hardware Design and Verification Methods
• Kommunikative Funktionen des Dialekts im Unterricht