Pergunta de entrevista da empresa Intel Corporation

Formal verification basics, writing assertions, etc.