Share |
Login Form
Newsletter



Receive HTML?

Latest Members


Survey of the Value of Formal Verification in Japan

 
User rating
 
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)

To write a review please register or login.
Overall:
 
5.0
 
 

Thanks from Holly

Overall:
 
5.0
Holly Stump Reviewed by Holly Stump
March 26, 2010
Comments (0)
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

 
 
Written by :
Brian Bailey
 
 






Latest Content
User rating
 
0.0 (0)
User rating
 
0.0 (0)