Formal bytes: The Axiomise Podcast Channel
By Axiomise
Listen to a podcast, please open Podcast Republic app. Available on Google Play Store and Apple App Store.
Image by Axiomise
Category: Technology
Open in Apple Podcasts
Open RSS feed
Open Website
Rate for this podcast
Subscribers: 5
Reviews: 0
Episodes: 50
Description
Axiomise is a unique formal verification training, consulting and services company that loves enabling people in formal verification. This podcast is our way of sharing the joy of formal verification.
| Episode | Date |
|---|---|
|
Episode 50: A fireside chat with Dr. Amin Shokrollahi
|
Sep 07, 2021 |
|
Episode 49: A fireside chat with Prof. Moshe Vardi - Part 2
|
Aug 17, 2021 |
|
Episode 48: A fireside chat with Prof. Moshe Vardi - Part 1
|
Aug 03, 2021 |
|
Episode 47: A fireside chat with Prof. Supratik Chakraborty - Part 2
|
Jul 18, 2021 |
|
Episode 46: A fireside chat with Prof. Supratik Chakraborty - Part 1
|
Jun 15, 2021 |
|
Episode 45:A fireside chat with Ravi Thummarukudy
|
Apr 27, 2021 |
|
Episode 44: Formal Verification 101 - The power of formal is now in your hands
|
Apr 13, 2021 |
|
Episode 43: A fireside chat with Dr. Daniel Zimmerman
|
Mar 30, 2021 |
|
Episode 42: A fireside chat with Bob Smith
|
Feb 23, 2021 |
|
Episode 41: Invisible and visible formal verification
|
Feb 09, 2021 |
|
Episode 40: A fireside chat with Dr. Zvonimir Bandic
|
Feb 02, 2021 |
|
Episode 39: Abstraction in 7 minutes!
|
Jan 19, 2021 |
|
Episode 38: A fireside chat with Calista Redmond
|
Jan 05, 2021 |
|
Episode 37: A fireside chat with Harry Foster
|
Dec 22, 2020 |
|
Episode 36: A fireside chat with Dr. Jason Oberg
|
Dec 15, 2020 |
|
Episode 35: Six dimensions of coverage for formal verification
|
Dec 01, 2020 |
|
Episode 34: Scenario coverage in formal verification
|
Nov 17, 2020 |
|
Episode 33: A fireside chat with Dr. Lucio Lanza
|
Nov 03, 2020 |
|
Episode 32: A fireside chat with Rajat Swarup
|
Oct 26, 2020 |
|
Episode 31: A fireside chat with Khaled Maalej
|
Oct 20, 2020 |
|
Episode 30: Architectural verification and deadlocks
|
Oct 13, 2020 |
|
Episode 29: A fireside chat with Michiel Ligthart
|
Sep 22, 2020 |
|
Episode 28: A fireside chat with Professor Alastair Donaldson
|
Sep 15, 2020 |
|
Episode 27: Everything you wanted to know about architectural formal verification
|
Sep 08, 2020 |
|
Episode 26: A fireside chat with Steve Hoover
|
Aug 21, 2020 |
|
Episode 25: A fireside chat with Ted Miracco
|
Aug 11, 2020 |
|
Episode 24: A fireside chat with Bipul Talukdar
|
Jul 29, 2020 |
|
Episode 23: A fireside chat with Matt Venn
|
Jul 19, 2020 |
|
Episode 22: A fireside chat with Kiran Vittal
|
Jul 19, 2020 |
|
Episode 21: A fireside chat with Joe Hupcey III
|
Jul 19, 2020 |
|
Episode 20: A fireside chat with Chris Komar
|
Jul 19, 2020 |
|
Episode 19: How is Axiomise making formal normal?
|
Jul 16, 2020 |
|
Episode 18: A Fireside Chat with Prof. Pascal Hitzler
|
Jun 30, 2020 |
|
Episode 17: A Fireside Chat with Adnan Hamid
|
Jun 23, 2020 |
|
Episode 16: Ten reasons to use formal verification
|
Jun 16, 2020 |
|
Episode 15: An informal chat with Simon Davidmann
|
Jun 09, 2020 |
|
Episode 14: Have you got it covered with formal verification?
|
Jun 02, 2020 |
|
Episode 13: An informal chat with Sean Safarpour
|
May 23, 2020 |
|
Episode 12: Finding corner-case bugs in processors using architectural formal verification
|
May 16, 2020 |
|
Episode 11: Role of constraints in formal verification
|
May 09, 2020 |
|
Episode 10: A masterclass with Lauro Rizzatti
|
May 01, 2020 |
|
Episode 9: Why coverage is important for formal verification?
|
Apr 25, 2020 |
|
Episode 8: Role of specifications in verification
|
Apr 18, 2020 |
|
Episode 7: A masterclass with Harry Foster
|
Apr 11, 2020 |
|
Episode 6: Key drivers for maximizing verification ROI
|
Apr 04, 2020 |
|
Episode 5: Why processors need formal verification?
|
Mar 28, 2020 |
|
Episode 4: History of formal methods
|
Mar 21, 2020 |
|
Episode 3: Basics of testing and formal verification for SoCs
|
Mar 14, 2020 |
|
Episode 2: A 30,000 ft introduction to a system-on-chip
|
Mar 07, 2020 |
|
Episode 1: Dr. Darbari talks about his passion for formal
|
Feb 29, 2020 |