Formal bytes: The Axiomise Podcast Channel
Activity Overview
Episode publication activity over the past year
Episodes
Episode 50: A fireside chat with Dr. Amin Shokrollahi
07 Sep 2021
Contributed by Lukas
In the 50th episode of our podcast, Dr Darbari talks to Dr Amin Shokrollahi. We trace Amin's journey from his early childhood, his interests in Mathem...
Episode 49: A fireside chat with Prof. Moshe Vardi - Part 2
17 Aug 2021
Contributed by Lukas
How can we make teaching formal methods more effective? What is the relationship between SQL and first-order logic? We used logic to design computers,...
Episode 48: A fireside chat with Prof. Moshe Vardi - Part 1
03 Aug 2021
Contributed by Lukas
This week Dr Darbari talks to Prof. Moshe Vardi - one of the best-known names in computing and formal methods. In the first of the two episodes, we tr...
Episode 47: A fireside chat with Prof. Supratik Chakraborty - Part 2
18 Jul 2021
Contributed by Lukas
Pleased to bring up the second part of the chat with Prof. Supratik Chakaraborty from IIT Bombay. We talk on boolean function synthesis, AI/ML, BDDs a...
Episode 46: A fireside chat with Prof. Supratik Chakraborty - Part 1
15 Jun 2021
Contributed by Lukas
Prof. Supratik Chakraborty is our guest this week. Tune in to find out how he came full circle from the corridors of IIT in his under-grad to being on...
Episode 45:A fireside chat with Ravi Thummarukudy
27 Apr 2021
Contributed by Lukas
This week Dr Darbari talks to Ravi Thummarukudy. Hear Ravi's fascinating story from growing up in a village in Kerala with no electricity to being a C...
Episode 44: Formal Verification 101 - The power of formal is now in your hands
13 Apr 2021
Contributed by Lukas
This week we discuss our new formal verification course launched on 6 April, last week. If you're looking to understand how to apply formal methods, e...
Episode 43: A fireside chat with Dr. Daniel Zimmerman
30 Mar 2021
Contributed by Lukas
This week, Dr. Darbari talks to Dr. Daniel Zimmerman, Principal Researcher from Galois Inc. Lot of exciting conversation on formal methods and their ...
Episode 42: A fireside chat with Bob Smith
23 Feb 2021
Contributed by Lukas
This week Bob Smith is our guest. Bob is an executive director of the ESD Alliance, a SEMI Strategic Association Partner. He is responsible for the ma...
Episode 41: Invisible and visible formal verification
09 Feb 2021
Contributed by Lukas
How do we know when the proof is the valid proof? Can we always see the proof? Are visible proofs required for verification? Can you trust invisible p...
Episode 40: A fireside chat with Dr. Zvonimir Bandic
02 Feb 2021
Contributed by Lukas
In this episode, Dr. Darbari talks to a key leader in the field of the RISC-V ecosystem - Dr. Zvonimir Bandic - Senior director, Western Digital. Zvo...
Episode 39: Abstraction in 7 minutes!
19 Jan 2021
Contributed by Lukas
We demystify abstraction in today's podcast. Abstraction is the cornerstone of modern-day scalable formal verification. Classic papers in formal liter...
Episode 38: A fireside chat with Calista Redmond
05 Jan 2021
Contributed by Lukas
We kick-off 2021 with our first podcast, talking to Calista Redmond, CEO of RISC-V International. Dr. Darbari asks Calista about the challenges and op...
Episode 37: A fireside chat with Harry Foster
22 Dec 2020
Contributed by Lukas
Dr. Ashish Darbari delves into the findings of the 2020 Wilson Research report with Harry Foster in the last podcast this year. Together we gain more ...
Episode 36: A fireside chat with Dr. Jason Oberg
15 Dec 2020
Contributed by Lukas
We talk about hardware security this week. Tune in to bootstrap yourself with a primer on hardware security with Dr. Jason Oberg - CTO of Tortuga Logi...
Episode 35: Six dimensions of coverage for formal verification
01 Dec 2020
Contributed by Lukas
Learn how to sign-off formal verification using six dimensions of coverage. Metric-driven verification is important, but we need to consider all aspec...
Episode 34: Scenario coverage in formal verification
17 Nov 2020
Contributed by Lukas
Dr. Darbari talks about a new coverage solution for formal verification - scenario coverage. He describes why you need it, what it is, and how this h...
Episode 33: A fireside chat with Dr. Lucio Lanza
03 Nov 2020
Contributed by Lukas
This week Dr. Darbari talks to Dr. Lucio Lanza - Managing Director of Lanza techVentures and the 2014 recipient of the Phil Kaufman Award for Distingu...
Episode 32: A fireside chat with Rajat Swarup
26 Oct 2020
Contributed by Lukas
Dr. Darbari got together with Rajat Swarup - a cyber-security expert and ex-Director of Information Security, Blackrock. We talk about computer securi...
Episode 31: A fireside chat with Khaled Maalej
20 Oct 2020
Contributed by Lukas
Do you always need a GPU for L4/L5 autonomous driving? This week, Dr. Darbari sat down with Khaled Maalej - Founder & CEO, VSORA, a provider of high-p...
Episode 30: Architectural verification and deadlocks
13 Oct 2020
Contributed by Lukas
In this podcast, Dr. Darbari discusses architectural formal verification and deadlocks in processors. Deadlocks can cause all sorts of issues in the d...
Episode 29: A fireside chat with Michiel Ligthart
22 Sep 2020
Contributed by Lukas
This week, Dr. Darbari talks to Michiel Ligthart. Discover Michiel's interesting journey from the Netherlands to the USA and find out how he ended bei...
Episode 28: A fireside chat with Professor Alastair Donaldson
15 Sep 2020
Contributed by Lukas
In this week's podcast, Dr. Darbari talks to Professor Alastair Donaldson. He talks about a range of topics in software verification and describes how...
Episode 27: Everything you wanted to know about architectural formal verification
08 Sep 2020
Contributed by Lukas
Dr. Darbari demystifies the topic of architectural formal verification with the focus on RISC-V. He describes the similarities with simulation-based c...
Episode 26: A fireside chat with Steve Hoover
21 Aug 2020
Contributed by Lukas
In this podcast, Dr. Ashish Darbari talks to Steve Hoover, founder & CEO of Redwood EDA. Steve explains why he left a well-paid job at Intel to start ...
Episode 25: A fireside chat with Ted Miracco
11 Aug 2020
Contributed by Lukas
In this week's podcast, Dr. Darbari talks to Ted Miracco, CEO of Cylynt. Ted explains how he founded Cylynt, why it is called Cylynt, and what is the ...
Episode 24: A fireside chat with Bipul Talukdar
29 Jul 2020
Contributed by Lukas
In this podcast, Dr. Darbari talks to Bipul Talukdar from SmartDV. Bipul tells us that SmartDV has the largest portfolio of VIPs in the industry and h...
Episode 23: A fireside chat with Matt Venn
19 Jul 2020
Contributed by Lukas
Dr. Darbari talks to Matt Venn from Symbiotic EDA. Matt is working with Symbiotic EDA, promoting the use of Open Source Formal Verification tools in t...
Episode 22: A fireside chat with Kiran Vittal
19 Jul 2020
Contributed by Lukas
Dr. Darbari sat down with Kiran Vittal from Synopsys and asks him why does Synopsys care about formal methods? Kiran is a Senior Product Marketing Dir...
Episode 21: A fireside chat with Joe Hupcey III
19 Jul 2020
Contributed by Lukas
In this year's DAC special, Dr. Darbari sat down with Joe Hupcey III from Mentor – a Siemens Business. Joe is a part of the Mentor’s Product Manag...
Episode 20: A fireside chat with Chris Komar
19 Jul 2020
Contributed by Lukas
In this year's DAC special, Dr. Darbari sat down with Chris Komar, Product Engineering Group Director from Cadence Design Systems to find out what is ...
Episode 19: How is Axiomise making formal normal?
16 Jul 2020
Contributed by Lukas
In this DAC special, Dr. Darbari explains how Axiomise is making formal normal by combining training, and custom formal verification solutions. He tal...
Episode 18: A Fireside Chat with Prof. Pascal Hitzler
30 Jun 2020
Contributed by Lukas
We are very excited to say that this week, Dr. Darbari is joined by Prof. Pascal Hitzler to discuss machine learning and formal methods. Prof. Hitzler...
Episode 17: A Fireside Chat with Adnan Hamid
23 Jun 2020
Contributed by Lukas
This week, Dr. Darbari has a fireside chat with the super-guru of Portable Stimulus - Adnan Hamid, Founder & CEO of Breker Verification Systems. Adnan...
Episode 16: Ten reasons to use formal verification
16 Jun 2020
Contributed by Lukas
In this podcast, Dr. Ashish Darbari outlines the ten reasons why formal verification should be used. Save money, find more bugs, find bugs quicker, pr...
Episode 15: An informal chat with Simon Davidmann
09 Jun 2020
Contributed by Lukas
In this week's episode, Dr. Ashish Darbari talks to Simon Davidmann - Founder & CEO of Imperas. Simon talks about his journey from being an inquis...
Episode 14: Have you got it covered with formal verification?
02 Jun 2020
Contributed by Lukas
In this podcast, Dr. Darbari talks about the connection between constraints and coverage in formal verification. He discusses why the two topics are c...
Episode 13: An informal chat with Sean Safarpour
23 May 2020
Contributed by Lukas
This week, Dr. Darbari has an informal chat about formal verification with Dr. Sean Safarpour - Group Director, Synopsys, and head of VC Formal produc...
Episode 12: Finding corner-case bugs in processors using architectural formal verification
16 May 2020
Contributed by Lukas
What happens when you apply formal verification to find architectural flaws in processors? In this podcast, Dr. Ashish Darbari talks about an interest...
Episode 11: Role of constraints in formal verification
09 May 2020
Contributed by Lukas
One of the biggest challenges with formal verification is scoping out what constraints are needed, and how they will be coded in formal verification f...
Episode 10: A masterclass with Lauro Rizzatti
01 May 2020
Contributed by Lukas
Dr. Darbari talks to Dr. Lauro Rizzatti - the emulation super Guru. Lauro traces his journey from Italy to the USA, explaining the many different, tec...
Episode 9: Why coverage is important for formal verification?
25 Apr 2020
Contributed by Lukas
In this podcast, Dr. Darbari talks about the role of coverage in formal verification and sign-off. We examine why coverage is important and what can b...
Episode 8: Role of specifications in verification
18 Apr 2020
Contributed by Lukas
In this podcast, Dr. Darbari talks about the role of specifications in verification. Requirements & specifications play a very important part in estab...
Episode 7: A masterclass with Harry Foster
11 Apr 2020
Contributed by Lukas
In this podcast, Dr. Darbari talks to Harry Foster, Chief Scientist at Mentor Graphics about all things verification. Harry talks about ATPG, the orig...
Episode 6: Key drivers for maximizing verification ROI
04 Apr 2020
Contributed by Lukas
We describe what are the key factors to maximise verification ROI, focusing on Axiomise formal verification and how we can improve the return-on-inves...
Episode 5: Why processors need formal verification?
28 Mar 2020
Contributed by Lukas
Dr. Darbari talks about why processors need formal verification in the latest podcast. He describes why processors are complex, and why formal verific...
Episode 4: History of formal methods
21 Mar 2020
Contributed by Lukas
In this podcast, we cover the rich history of formal methods, explaining the basics of formal verification covering theorem proving, model checking an...
Episode 3: Basics of testing and formal verification for SoCs
14 Mar 2020
Contributed by Lukas
In this podcast, Dr. Ashish Darbari talks about testing and formal verification for SoCs. He describes the basics of simulation-based-verification tec...
Episode 2: A 30,000 ft introduction to a system-on-chip
07 Mar 2020
Contributed by Lukas
In this podcast, Dr. Ashish Darbari presents a 30,000 ft introduction to a system-on-chip (SoC) and the numerous test and verification challenges that...
Episode 1: Dr. Darbari talks about his passion for formal
29 Feb 2020
Contributed by Lukas
Axiomise has turned two! In this first podcast, Axiomise founder & CEO Dr. Ashish Darbari talks about his passion for formal verification and the diff...