When property checking is used there are 3 main results you can have for the assertions you run. Ideally all assertions will either be proven or find a counter example. Sometimes though the assertion remains inconclusive, neither proven or fired. In this session we’ll review what inconclusive properties are and why they happen. We’ll then look at some easy tool based methods to help resolve inconclusives. Next we’ll explore some of the more common methods of modifying the properties and design to resolve the inconclusive property. Finally we’ll look at how using Questa® PropCheck and proof coverage information can guide you in debugging why a property is inconclusive and what steps to take next in achieving a proof or counter example.