A look at problems encountered by property synthesis tool users and some proposed solutions.
This white paper describes the JasperGold Property Synthesis Apps, members of a family of interoperable, application-specific formal verification solutions that addresses verification challenges throughout the design flow. The Apps synthesize both behavioral and structural properties — also known as assertions — for use in formal verification, simulation and emulation. They significantly increase verification coverage while simultaneously boosting property generation productivity by more than an order of magnitude.
Design teams are faced with two questions: How many behavioral and structural properties are enough and where should they be inserted for maximum effect? To read more, click here.