Mentor Graphics, leading EDA company hosted a highly technical seminar entitled: “Formal Technology Seminar” at Austin on Oct 8th, 2015. Below is a quick trip report as captured by our VerifNews team. Agenda: Trends in Formal: What has Changed, What is Still Needed? — Harry Foster, Chief Verification Scientist How Mentor is Addressing Today‚Äôs Formal […]