Formal verification meets simulation (tutorial abstract)