event-icon
Description
Formal Verification continues to be an increasingly important toolkit for a variety of design and validation tasks. In this session we will explore formal techniques related to timing, firmware, high-level synthesis, and general validation tasks.
Sub-Sessions ( See all )
Tags