sentences:  Ideally, for a given HDL description, a property or properties can be proven true or false using formal mathematical methods.In practical terms, many properties cannot be proven because they occupy an unbounded solution space.However, if provided a set of operating assumptions or constraints, a property checker can prove (or disprove) certain properties by narrowing the solution space.