The Future of Formal Model Checking is NOW! Leveraging Formal Methods for RAPID System On Chip Verification (Poster Presentation Honorable Mention)
The Future of Formal Model Checking is NOW! Leveraging Formal Methods for RAPID System On Chip Verification (Poster Presentation Honorable Mention)
05 March 2014
Venue : DVCon 2014