Survey of the Value of Formal Verification in Japan
 |
5.0 (1) |
Over 120 engineers and engineering managers were surveyed at EDSF by CyberTec / Jasper Design
Automation, as part of a market research and analysis program examining how designers use formal
verification across the design cycle. Within eight application areas, respondents indicated which
formal technology applications are most interesting and valuable, all the way down to each detailed
engineering task within the application areas, and their hierarchy of value. The set of applications
used in the survey are current uses of JasperGold and ActiveDesign, as developed by Jasper Design
Automation, CyberTec, and their customers.
Please click here to read the whole article.
Posted for Holly Stump - Jasper Design Automation
User reviews
Average user rating from: 1 user(s)
Thanks from Holly
| Overall: | 5.0 |
Reviewed by Holly StumpMarch 26, 2010
Top 50 Reviewer
Comments (0)
View all my reviews
Report this review
Thanks for posting, Brian, and for your Japanese readers, see the following link to the article in Nikkei Tech-On...techon.nikkeibp.co.jp
