Property Generator: Generating Formal Assertions for Trustworthy Hardware
In dieser Sitzung sprach Mo Fadiheh über Property Generator und wie formale Aussagen generiert werden.
Die vollständige Aufzeichnung findet sich hier:
Unser Redner
Dr. Mohammad Fadiheh ist Leiter der Forschungs- und Entwicklungsabteilung bei LUBIS EDA. Er ist Absolvent der RPTU Kaiserslautern-Landau, wo er sowohl seinen Master of Science als auch seinen Doktortitel in Elektrotechnik und Informatik erworben hat. Bevor er zu LUBIS EDA kam, arbeitete er als Postdoktorand an der Stanford University.
Sein Forschungsschwerpunkt liegt auf der formalen Verifikation von Hardware.