SNUG Boston 2018

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.