In this year's DAC special, Dr. Darbari sat down with Chris Komar, Product Engineering Group Director from Cadence Design Systems to find out what is hot with formal verification at Cadence, and why Cadence invests in formal methods? Chris emphasizes that formal is no longer “nice to have” but a “must-have”. Chris has been in EDA for the last 20 years focused on formal verification, starting with equivalence checking and has focused on formal property verification for the last 17 years.