Design Article

Survey has designers assign ROI to verification chores

Holly Stump, Lili Bowers, Norris Ip, Jasper Design Automation

9/3/2009 12:50 PM EDT

Jasper Design Automation surveyed over 50 engineers and engineering managers at DAC 2009 as part of a market research and analysis program examining how designers use formal verification across the design cycle.

Jasper reached the following conclusions:

The top four important applications that motivates designers to use formal verification for targeted ROI across the design cycle are: RTL block verification; design and IP leverage; RTL development; and silicon debug.

These are followed by architectural analysis early in the design cycle, chip integration, and low-power design verification.

Read the full Jasper survey here.





Please sign in to post comment

Navigate to related information

Datasheets.com Parts Search

185 million searchable parts
(please enter a part number or hit search to begin)

Feedback Form