Formal bytes: The Axiomise Podcast Channel

By Axiomise

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.

  1. 1.
    Episode 44: Formal Verification 101 - The power of formal is now in your hands
    5:34
  2. 2.
    Episode 43: A fireside chat with Dr. Daniel Zimmerman
    37:17
  3. 3.
    Episode 42: A fireside chat with Bob Smith
    36:41
  4. 4.
    Episode 41: Invisible and visible formal verification
    17:30
  5. 5.
    Episode 40: A fireside chat with Dr. Zvonimir Bandic
    28:04
  6. 6.
    Episode 39: Abstraction in 7 minutes!
    6:50
  7. 7.
    Episode 38: A fireside chat with Calista Redmond
    28:43
  8. 8.
    Episode 37: A fireside chat with Harry Foster
    43:35
  1. 9.
    Episode 36: A fireside chat with Dr. Jason Oberg
    35:23
  2. 10.
    Episode 35: Six dimensions of coverage for formal verification
    15:51
  3. 11.
    Episode 34: Scenario coverage in formal verification
    11:48
  4. 12.
    Episode 33: A fireside chat with Dr. Lucio Lanza
    48:00
  5. 13.
    Episode 32: A fireside chat with Rajat Swarup
    39:49
  6. 14.
    Episode 31: A fireside chat with Khaled Maalej
    43:01
  7. 15.
    Episode 30: Architectural verification and deadlocks
    11:11
  8. 16.
    Episode 29: A fireside chat with Michiel Ligthart
    30:52
  9. 17.
    Episode 28: A fireside chat with Professor Alastair Donaldson
    48:55
  10. 18.
    Episode 27: Everything you wanted to know about architectural formal verification
    11:38
  11. 19.
    Episode 26: A fireside chat with Steve Hoover
    48:11
  12. 20.
    Episode 25: A fireside chat with Ted Miracco
    25:02
  13. 21.
    Episode 24: A fireside chat with Bipul Talukdar
    25:36
  14. 22.
    Episode 23: A fireside chat with Matt Venn
    20:29
  15. 23.
    Episode 22: A fireside chat with Kiran Vittal
    20:01
  16. 24.
    Episode 21: A fireside chat with Joe Hupcey III
    22:04
  17. 25.
    Episode 20: A fireside chat with Chris Komar
    20:20
  18. 26.
    Episode 19: How is Axiomise making formal normal?
    10:50
  19. 27.
    Episode 18: A Fireside Chat with Prof. Pascal Hitzler
    42:14
  20. 28.
    Episode 17: A Fireside Chat with Adnan Hamid
    34:09
  21. 29.
    Episode 16: Ten reasons to use formal verification
    20:11
  22. 30.
    Episode 15: An informal chat with Simon Davidmann
    35:41
  23. 31.
    Episode 14: Have you got it covered with formal verification?
    11:33
  24. 32.
    Episode 13: An informal chat with Sean Safarpour
    34:35
  25. 33.
    Episode 12: Finding corner-case bugs in processors using architectural formal verification
    13:54
  26. 34.
    Episode 11: Role of constraints in formal verification
    8:54
  27. 35.
    Episode 10: A masterclass with Lauro Rizzatti
    34:17
  28. 36.
    Episode 9: Why coverage is important for formal verification?
    10:36
  29. 37.
    Episode 8: Role of specifications in verification
    13:06
  30. 38.
    Episode 7: A masterclass with Harry Foster
    36:14
  31. 39.
    Episode 6: Key drivers for maximizing verification ROI
    16:21
  32. 40.
    Episode 5: Why processors need formal verification?
    15:46
  33. 41.
    Episode 4: History of formal methods
    14:01
  34. 42.
    Episode 3: Basics of testing and formal verification for SoCs
    10:53
  35. 43.
    Episode 2: A 30,000 ft introduction to a system-on-chip
    8:19
  36. 44.
    Episode 1: Dr. Darbari talks about his passion for formal
    8:14

Listen to Formal bytes: The Axiomise Podcast Channel now.

Listen to Formal bytes: The Axiomise Podcast Channel in full in the Spotify app