Designing correct and secure chips: how can formal methods help?
Wolfgang Kunz dug into hardware verification. In his presentation, he discussed how it has become a mainstream application and how scalability is implemented. He emphasized that functional correctness is not sufficient.
The full recording can be found here:
Our speaker
Prof. Dr.-Ing. Wolfgang Kunz is head of the EIS department “Design of Information Technology Systems” at the Rhineland-Palatinate Technical University (RPTU).