Around the Design and Verification Conference in San Jose at the beginning of the March, a lot of activity was happening in the online world in preparation for the big meetup of the verification community.
First, the DeepChip.com web-site published a set of five (5) articles that surveyed the world of formal verification in EDA, written by Jim Hogan, of Vista Ventures, a Silicon Valley investment firm. Jim is currently on the Board of OneSpin, a formal tools company. Knowing Jim, he did his homework before getting involved with them. If you read the articles, which total 12,000 words, you will have to agree with me there is a lot of great content here. If a technical writer charged for producing this, you would be looking at a bill close to $20,000.
These days you have to two general ways to verify the functionality of your RTL with formal. You either write your own properties and then feed them and the RTL to a formal property verifier (FPV) tool, OR you have an application-focused formal tool automatically read and apply properties to your design.