Property Generator: Generating Formal Assertions for Trustworthy Hardware
In this session, Mo Fadiheh discussed Property Generator and how it can be used to generate formal assertions.
The complete recording can be found here:
Our speaker
Dr. Mohammad Fadiheh is Head of Research & Development at LUBIS EDA. He is a graduate of RPTU Kaiserslautern-Landau, where he obtained both his MSc and his PhD in Electrical and Computer Engineering. Before joining LUBIS EDA, he worked as a postdoctoral researcher at Stanford University.
His research focuses on formal verification of hardware.