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 )