DAC 2011: Vigyan Interview with Joe Hupcey on Oski Technology

5_DAC-2011

Vigyan Singhal talks with Cadence Team Verify’s Joe Hupcey at #48DAC about Oski’s unique formal verification methodology, and how Oski Abstraction Models simplify the state space to scale formal methods for large and complex designs.