Sign up to save your podcasts
Or
Share Podcast EP274: How Axiomise Makes Formal Predictable and Normal with Dr. Ashish Darbari
Share to email
Share to Facebook
Share to X
Share to email
Share to Facebook
Share to X
Or
Podcast EP274: How Axiomise Makes Formal Predictable and Normal with Dr. Ashish Darbari
Dan is joined by Dr. Ashish Darbari, CEO of Axiomise. Axiomise was founded in 2017 by Dr. Darbari, who has spent over two decades in the industry and top research labs increasing formal verification adoption. At Axiomise, they believe the only way to make formal methods mainstream for all semiconductor design verification is to… Read More
View all episodes
By SemiWiki
5
1414 ratings
Dan is joined by Dr. Ashish Darbari, CEO of Axiomise. Axiomise was founded in 2017 by Dr. Darbari, who has spent over two decades in the industry and top research labs increasing formal verification adoption. At Axiomise, they believe the only way to make formal methods mainstream for all semiconductor design verification is to… Read More
More shows like SemiWiki.com
View all
Planet Money
30,683 Listeners
Economist Podcasts
4,173 Listeners
Odd Lots
1,855 Listeners
WSJ Tech News Briefing
1,631 Listeners
Decoder with Nilay Patel
3,145 Listeners
The Amp Hour Electronics Podcast
232 Listeners
TED Tech
403 Listeners
Tech Brew Ride Home
968 Listeners
Wall Street Breakfast
1,030 Listeners
Broken Silicon
257 Listeners
The Journal.
6,056 Listeners
All-In with Chamath, Jason, Sacks & Friedberg
9,793 Listeners
Business Breakdowns
351 Listeners
Prof G Markets
1,329 Listeners
The Future of Everything
127 Listeners