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
Planet Money
30,647 Listeners
Economist Podcasts
4,181 Listeners
Odd Lots
1,866 Listeners
WSJ Tech News Briefing
1,632 Listeners
Decoder with Nilay Patel
3,147 Listeners
The Amp Hour Electronics Podcast
232 Listeners
TED Tech
401 Listeners
Tech Brew Ride Home
968 Listeners
Wall Street Breakfast
1,028 Listeners
Broken Silicon
257 Listeners
The Journal.
6,060 Listeners
All-In with Chamath, Jason, Sacks & Friedberg
9,830 Listeners
Business Breakdowns
351 Listeners
Prof G Markets
1,329 Listeners
The Future of Everything
127 Listeners