How does Solidify compare to lint checkers?
Lint checkers are tools which can check some problems of a design just on the basis of analyzing the code. Lint checkers are useful, but they are very limited and do not replace property checking which verifies the functional behavior. We think a good verification methodology at the block-level should be running some fast lint checks, and then a good property set. A property set catches many problems which are impossible for a lint tool. For example, if you change an AND gate in your design to an OR gate, no lint checking program will flag this. Since the behavior most likely has changed, a good property set would catch the change. Solidify helps the user build a good property set via its coverage technology. In summary, lint checks are useful, but property ch ecking is indispensable.
