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
1515 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
Global News Podcast
7,608 Listeners
WSJ What’s News
4,349 Listeners
Masters in Business
2,178 Listeners
Odd Lots
1,936 Listeners
WSJ Tech News Briefing
1,644 Listeners
The Amp Hour Electronics Podcast
231 Listeners
FT News Briefing
653 Listeners
CNN 5 Things
1,326 Listeners
Broken Silicon
257 Listeners
All-In with Chamath, Jason, Sacks & Friedberg
9,927 Listeners
Dwarkesh Podcast
511 Listeners
Bloomberg Tech
60 Listeners
The Circuit
39 Listeners
BG2Pod with Brad Gerstner and Bill Gurley
467 Listeners
The Real Eisman Playbook
184 Listeners