Video Interviews

Video Interviews

‪DAC 2012: Vigyan Interview with Joe Hupcey on Oski Technology’s Courageous “72 hour Verification Challenge”

I’ve seen a lot of intriguing promotions over the years, but at DAC 2012 our partners at Oski Technology (‪http://www.oskitechnology.com) tackled a truly unique challenge: to show off their formal verification prowess they took an IP block from NVIDIA sight unseen (actually, on Sunday evening before the DAC they received a spec and a 15 …

‪DAC 2012: Vigyan Interview with Joe Hupcey on Oski Technology’s Courageous “72 hour Verification Challenge”Read More »

DAC 2011: Vigyan Singhal interview With Richard Goering

Vigyan Interview with Richard Goering Oski Technology CEO Vigyan Singhal interviewed by Richard Goering, discusses why formal verification can offer 6X speedup vs. simulation, where formal works best (or not), and how we can now display simulation and formal coverage results on the same design, using one set of metrics, for the proper integration of …

DAC 2011: Vigyan Singhal interview With Richard GoeringRead More »

DAC 2012: Vigyan Interview with Graham on Oski Live Verification Challenge

Vigyan Singhal, President and CEO of OSKI Technology talks with Graham Bell about the Live! Verification Challenge OSKI took on at the beginning of the DAC 2012 show. A never-before-seen design was delivered to OSKI from Nvidia that had over 25,000 lines of RTL code. The challenge was to verify and find bugs in the …

DAC 2012: Vigyan Interview with Graham on Oski Live Verification ChallengeRead More »

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

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 …

DVCon2011: Vigyan Interview with Joe Hupcey about Formal Verification Service Provider Oski TechnologyRead More »