DVCon2011: Vigyan Interview with Joe Hupcey about Formal Verification Service Provider Oski Technology

7_DVCon

While there was a lot (justifiable) buzz around the UVM 1.0 release, formal and assertion-based verification (ABV) technologies and methodologies also had a great showing at DVCon 2011. Evidence of this trend was Oski Technology – “the world’s first and only IC verification services company to be fully focused on formal verification” – investing in a DVCon booth. In this video I interview their CEO Vigyan Singhal, who offers advice to simulation-oriented people new to formal, the importance of advanced planning and quantifiable metrics for project management, plus how formal and simulation can be mutually reinforcing.