SNUG Boston 2018
May 16, 2018
3:45 PM – 4:30 PM
Track: Verification Continuum
Presentation: Architectural Formal Verification: A 3-Step Guide
Evolution of formal verification applications has been very impressive over the past few decades. Resolving hardware design complexity has been at the heart of it all, which has helped address problems at a fundamental level. In this paper, we present a formal methodology addressing the verification of system-level requirements. After successful deployment of this methodology in industrial designs, we now present a case study to illustrate one such example.