Designing correct and secure chips: how can formal methods help?
Wolfgang Kunz geht besonders auf Hardware Verifikation ein. In seinem Vortrag besprach er, wie es zu einer Mainstream Anwendung geworden ist und wie die Skalierbarkeit umgesetzt wird. Er betonte, dass funktionale Korrektheit nicht ausreicht.
Die vollständige Aufzeichnung findet sich hier:
Unser Redner
Prof. Dr.-Ing. Wolfgang Kunz ist Leiter des Fachbereichs EIS "Entwurf informationstechnischer Systeme" an der Rheinland-Pfälzischen Technischen Universität (RPTU).