sentences:  As chip designs have grown larger and more complex, the task of design verification has grown to the point where it now dominates the schedule of a design team.Looking for ways to improve design productivity, the electronic design automation industry developed the Property Specification Language.In formal verification terms, a property is a factual statement about the expected or assumed behavior of another object.