Podcast EP246: How Axoimise Provides the Missing Piece of the Verification Puzzle

Podcast EP246: How Axoimise Provides the Missing Piece of the Verification Puzzle
by Daniel Nenni on 09-06-2024 at 10:00 am

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


Challenge and Response Automotive Keynote at DVCon

Challenge and Response Automotive Keynote at DVCon
by Bernard Murphy on 03-20-2024 at 6:00 am

dvcon 2024 keynote min

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