event-icon

Designer Track Reviewed

Session 42: Novel Applications of Formal Verification

10:30 AM–12:00 PM Jun 27, 2018 (America - Los Angeles)

Room 2012

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