Keynotes commonly provide a one-sided perspective of a domain, either customer-centric or supplier-centric. Kudos therefore to Cadence’s Paul Cunningham for breaking the mold in offering the first half of his keynote to Anthony Hill, a TI fellow, to talk about outstanding challenges he sees in verification for automotive … Read More
Podcast EP246: How Axoimise Provides the Missing Piece of the Verification Puzzle
Dan is joined by Adeel Liaquat, a formal verification manager at Axiomise. The company delivers cutting-edge scalable and predictable formal verification solutions shortening the time-to-market, and left-shifting the verification curve.
Dan explores the substantial verification challenges for advanced designs with… Read More