Formal bytes: The Axiomise Podcast Channel

50 Epizód

1. Episode 30: Architectural verification and deadlocks

   Közzétéve: 2020. 10. 13.
2. Episode 29: A fireside chat with Michiel Ligthart

   Közzétéve: 2020. 09. 22.
3. Episode 28: A fireside chat with Professor Alastair Donaldson

   Közzétéve: 2020. 09. 15.
4. Episode 27: Everything you wanted to know about architectural formal verification

   Közzétéve: 2020. 09. 08.
5. Episode 26: A fireside chat with Steve Hoover

   Közzétéve: 2020. 08. 21.
6. Episode 25: A fireside chat with Ted Miracco

   Közzétéve: 2020. 08. 11.
7. Episode 24: A fireside chat with Bipul Talukdar

   Közzétéve: 2020. 07. 29.
8. Episode 23: A fireside chat with Matt Venn

   Közzétéve: 2020. 07. 19.
9. Episode 22: A fireside chat with Kiran Vittal

   Közzétéve: 2020. 07. 19.
10. Episode 21: A fireside chat with Joe Hupcey III

    Közzétéve: 2020. 07. 19.
11. Episode 20: A fireside chat with Chris Komar

    Közzétéve: 2020. 07. 19.
12. Episode 19: How is Axiomise making formal normal?

    Közzétéve: 2020. 07. 16.
13. Episode 18: A Fireside Chat with Prof. Pascal Hitzler

    Közzétéve: 2020. 06. 30.
14. Episode 17: A Fireside Chat with Adnan Hamid

    Közzétéve: 2020. 06. 23.
15. Episode 16: Ten reasons to use formal verification

    Közzétéve: 2020. 06. 16.
16. Episode 15: An informal chat with Simon Davidmann

    Közzétéve: 2020. 06. 09.
17. Episode 14: Have you got it covered with formal verification?

    Közzétéve: 2020. 06. 02.
18. Episode 13: An informal chat with Sean Safarpour

    Közzétéve: 2020. 05. 23.
19. Episode 12: Finding corner-case bugs in processors using architectural formal verification

    Közzétéve: 2020. 05. 16.
20. Episode 11: Role of constraints in formal verification

    Közzétéve: 2020. 05. 09.