
0:00
21:56
Daniel is joined by Xiaolin Chen, Senior Director of Technical Product Management for Formal Solutions at Synopsys. She has over 20 years of experience applying formal technology in verification and partnering with customers to identify opportunities where formal methods are best suited to solve complex verification challenges.… Read More
More episodes from "SemiWiki.com"



Don't miss an episode of “SemiWiki.com” and subscribe to it in the GetPodcast app.








