Intel Corporation interview question

Formal verification basics, writing assertions, etc.