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)

Ram Narayan

05 March 2014


Venue : DVCon 2014