Breaking News
Design How-To

How formal MDV can eliminate IP integration uncertainty

1/9/2012 02:06 PM EST
1 Comment
NO RATINGS
Page 1 / 4 Next >
More Related Links
View Comments: Newest First | Oldest First | Threaded View
cedricfau
User Rank
Author
re: How formal MDV can eliminate IP integration uncertainty
cedricfau   1/9/2012 5:32:38 PM
NO RATINGS
This is an interesting approach but not so easy to implement. Defining all functionalities through assertions is still very difficult. Mutation analysis, as Springsoft Certitude provides, is more appropriate to current verification flows/terams relying on simulations.

Datasheets.com Parts Search

185 million searchable parts
(please enter a part number or hit search to begin)
Like Us on Facebook
EE Times on Twitter
EE Times Twitter Feed