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
Marketplace Tech
1,267 Listeners
WSJ Tech News Briefing
1,626 Listeners
WSJ What’s News
4,308 Listeners
Planet Money
30,928 Listeners
Freakonomics Radio
31,955 Listeners
Bloomberg Businessweek
425 Listeners
Odd Lots
1,766 Listeners
The President’s Inbox
700 Listeners
ChinaTalk
269 Listeners
FT News Briefing
706 Listeners
Why It Matters
874 Listeners
All-In with Chamath, Jason, Sacks & Friedberg
8,788 Listeners
Hard Fork
5,370 Listeners
Business Breakdowns
337 Listeners
Prof G Markets
935 Listeners