PropGen: An Automated Flow to Generate SVA Properties for Formal and Simulation methods

Author(s):
Amith Shambhu, Vishal Dalal, Basavaraj Naik
Location:
India
Year:
2023
Type:
Presentation
Format:
pptx