Novel approach for SoC pipeline latency and connectivity verification using Formal

Author(s):
Deepak Mohan, Senthilnath Subbarayan, Sandeep Kumar
Location:
India
Year:
2022
Type:
Presentation
Format:
pptx