event-icon

Designer Track Reviewed

Session 51: New Directions in Simulation and Formal

1:30 PM–3:00 PM Jun 27, 2018 (America - Los Angeles)

Room 2012

Description
Simulation continues to be an important part of the design and validation process. In this session, we will explore a variety of techniques that combine simulation with formal verification, relating to high=level modeling, functional safety, and synchronization issues. We will also present other advanced simulation techniques, addressing tricky coverage closure and asynchronous design issues.
Sub-Sessions ( See all )
Tags