Episode 23: A fireside chat with Matt Venn

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 the IC and FPGA industries. Matt explains how Symbiotic EDA plans to disrupt the established market of formal methods by providing formal tools at a price that all can afford. Matt believes that Symbiotic EDA is incorporating new advanced technology in their tools and they provide an open-source version of their tools that gets used a lot amongst the research community. Find out why Matt believes this open-source model will give Symbiotic EDA an edge in the commercial domain as well.