Close

Presenter

<
surinder sood
ARM
Presentations
Work in Progress
A Novel Way to Handle Non-Convergence of Properties in Formal Verification of Digital Systems
5:27pm - 5:28pm PDT Monday, July 27 Exhibit Hall
Engineering Poster
Invariant-Driven Contract-Based Formal Verification for Scalable Compositional Proofs
5:00pm - 6:00pm PDT Monday, July 27 DAC Pavilion, Exhibit Floor
AI
Chiplet
Design
EDA
Quantum
Security
Systems