The Cadence Academic Network helps build strong relationships between academia and industry, and promotes the proliferation of leading-edge technologies and methodologies at universities renowned for their engineering and design excellence.
A huge knowledge exchange platform for academia to network with industry. We are looking for academic speakers to talk about their research to the industry attendees at the Academic Track at CDNLive EMEA and Silicon Valley.
Pete Hardee from Cadence discussed Cadence Formal and Automated Verification. Why Formal?JasperGold formal verification Apps enable productivity and quality gains through SoC flow. Formal Property verifcation app. Is setting the bar for performance, capacity and usability