Conference Publication

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

 

Authors: Ram Narayan

Venue: DVCon 2014


Hardware and Software, Engineered to Work Together