Vigyan Singhal

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 »

Oski Technology to Showcase its Industry-Proven Formal Sign-off™ Methodology at DAC 2013

AT 50TH DESIGN AUTOMATION CONFERENCE BOOTH #718 MEDIA ALERT: Oski Technology to Showcase its Industry-Proven Formal Sign-off Methodology at DAC Plans Formal Sign-off Methodology Demonstrations, Will Launch “Decoding Formal” Video Series, Host “Decoding Formal” Reception, Competition MOUNTAIN VIEW, CALIF. –– May 23, 2013 –– (reminder June 3 at 8:45am ET) WHO: Oski Technology (www.oskitechnology.com), the …

Oski Technology to Showcase its Industry-Proven Formal Sign-off™ Methodology at DAC 2013Read More »

On the Practice of Formal Verification

Many tools for end-to-end verification are powerful and productive. Yet the practice of formal verification of hardware RTL designs is mystifying: there are more builders of tools than full-time dedicated users of such tools. Surprising perhaps, except that few places teach the practical application of formal verification. This blog is dedicated to formal verification and …

On the Practice of Formal VerificationRead More »

Oski at DAC 2013: Decoding Formal, Demo and Competition

Oski Launches New “Decoding Formal” Video Series at DAC 2013, Booth #718 At #DAC2013, Oski Technology will launch its exciting new “Decoding Formal” video series where CEO Vigyan Singhal shares tips and secrets on how to make the best use of formal technology in system-on-chip (SoC) design and verification. Videos will be shown hourly, starting …

Oski at DAC 2013: Decoding Formal, Demo and CompetitionRead More »