Expediting Verification of Critical SoC Components Using Formal Methods

Author(s):
Nuni Srikanth, Lakshman Easwaran, Maddipatla Shankar Naidu
Location:
India
Year:
2014
Type:
Presentation
Format:
pptx