Embracing Formal Verification for Data Path Designs Using Golden Specs

Author(s):
Achutha Kirankumar V, Disha Puri, Bindumadhava S.S
Location:
India
Year:
2017
Type:
Presentation
Format:
pptx