REGISTER | LOGIN
Breaking News
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)
Most Recent Comments
resistion
 
rick merritt
 
traneus
 
ggman02
 
Max The Magnificent
 
Max The Magnificent
 
Max The Magnificent
 
VicVat
 
tb100
Like Us on Facebook