#AskOski

#AskOski is an initiative undertaken by Oski Technology to create an interactive dialogue with the formal verification community and answer your questions regarding formal verification. The idea is simple: take the questions from the community and post the answers here periodically.

You have a question? — #AskOski

Submitting a question to Oski is easy. Just type it in the form below, or post it on social media platforms like LinkedIn with hashtag #AskOski.

Recently answered questions…

Question: None of my assertions are passing. They’re all inconclusive. What should I do?

Answer: First of all, please don’t throw them away. Trust me, they are useful. It’s painful to see engineers throwing away their hard work just because the formal tools are conservative about how they report results and tag bounded proofs as inconclusive. We just need to go one step further and analyse these results to find the good news in them. Hint: every inconclusive result usually comes with a number attached to it.

Read detailed answer here

Question: Does formal verification support code coverage?

Answer: Yes, formal verification supports as much code coverage as simulation does – and more! However, the way we use code coverage in formal verification is very different from the way we use it in simulation.

Read the detailed answer here

Submit your #AskOski question