Smart Formal for Scalable Verification Author(s): Ashish Darbari Location: United States Year: 2019 Type: Presentation Format: pdf Download