SixthSense Formal Verification - Presentations
- Large Scale Formal Application: From Fiction to FACT -- FMCAD 2010 [ppt]
- Integrating FV Into Main-Stream Verification: The IBM Experience -- FMCAD 2006 [pdf]
- Sequential Equivalence Checking across Arbitrary Design Transformations: Technologies and Applications -- ICCD 2006 [ppt]
- Semi-Formal Verification at IBM -- HLDVT 2006 [ppt]