Sign up to save your podcasts
Or
Share Podcast EP87: How Axiomise Addresses the Verification Challenge
Share to email
Share to Facebook
Share to X
Share to email
Share to Facebook
Share to X
Or
Podcast EP87: How Axiomise Addresses the Verification Challenge
Dan is joined by GD Bansal, COO at Axiomise. Dan explores the Axiomise business model to provide training and consulting services for formal verification with GD. The benefits and challenges of using formal verification on complex designs are discussed, along with the benefits of the Axiomize vendor-neutral approach to … Read More
View all episodes
By SemiWiki
5
1414 ratings
Dan is joined by GD Bansal, COO at Axiomise. Dan explores the Axiomise business model to provide training and consulting services for formal verification with GD. The benefits and challenges of using formal verification on complex designs are discussed, along with the benefits of the Axiomize vendor-neutral approach to … Read More
More shows like SemiWiki.com
View all
WSJ Tech News Briefing
1,642 Listeners
Economist Podcasts
4,246 Listeners
Planet Money
30,940 Listeners
The Amp Hour Electronics Podcast
229 Listeners
TED Tech
400 Listeners
Decoder with Nilay Patel
3,139 Listeners
Odd Lots
1,781 Listeners
The Future of Everything
127 Listeners
Techmeme Ride Home
943 Listeners
Wall Street Breakfast
1,014 Listeners
Broken Silicon
259 Listeners
The Journal.
5,914 Listeners
All-In with Chamath, Jason, Sacks & Friedberg
8,901 Listeners
Business Breakdowns
343 Listeners
Prof G Markets
989 Listeners