Formal bytes Episode 40: A fireside chat with Dr. Zvonimir Bandic | Axiomise Formal Verification Channel

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. Zvonimir traces his journey to the USA and describes the exciting field of storage, hard drives and cache-coherent interconnect. We talk about the CHIPS alliance, open-source, and how Western Digital is influencing the RISC-V ecosystem.