17 April, 2019

Crowne Plaza Hotel Century Park, Shanghai, China

Applications of Sequential Equivalence Checking

Wed, 01/30/2019 - 05:36 -- root

Case Study to understand the bug hunter of Sequential  equivalence checking technology

Event ID: 
19274a61-770c-4b55-90e5-1702a0f29477
Event Type: 
Regular Session
Location: 
Pudong
Event Time: 
Wednesday, April 17, 2019 -
14:15 to 15:15
Session Number: 
6
Session Number: 
6
confID: 
271