Top 10 Tips for Success with Formal Analysis-Part 2
Publication: EE Times EDA Designline
January 30, 2012 -- This is the second in a series of three articles presenting the "top 10" tips for the successful use of formal analysis on IP and SOC projects. As discussed in the first installment, formal analysis has many strengths as a verification technique, including exhaustive mathematical proofs, discovery of bugs that are hard to find in simulation, and an ability to analyze coverage properties (covers) as well as assertions. The first three tips presented were:
By Thomas L. Anderson and Joseph Hupcey III. (Anderson is a technical marketing consultant who recently served as Product Management Group Director for Cadence Design Systems, Inc., and Hupcey is Product Management Director, Advanced Verification Systems, Cadence Design Systems, Inc.)
Reprinted from SOCcentral.com, your first stop for ASIC, FPGA, EDA, and IP news and design information.