Verification Methodology: Formal & Emulator

Verification methodology is getting more and more important when it comes to IP&& SoC verification. In this session we will discuss Formal verification && Emulator methodology. the one big challenge for Formal verification is how to handle inconclusive assertion. In this session part1, we cover the methodology and experience how to close inconclusive assertion proven. Hardware accelerator is commonly used more and more in a lot of company. In this session part2, we cover how to conquer complex SOC test sequences with Emulator.

Event ID: 
23f8923e-0f29-4b0c-9ecc-b32e6a883e35
Event Type: 
Regular Session
Location: 
Ballroom A
Event Time: 
Wednesday, April 18, 2018 -
14:45 to 15:45
Session Number: 
1
Session Number: 
1
confID: 
250