Oski Exhibits at #48DAC —
Oski Technology exhibited for the first time at #48DAC 2011, the premier event for the design of electronic circuits and systems, and for EDA and silicon solutions. See below for video, photos, and more about the User Track Poster Presentation, “How Formal Methodology Shrank the Verification Schedule of a Complex Statistics Block by 6x” Cisco.
DAC video: How Oski Abstractions Scale Formal, and Why Formal Can Offer 6X Speedup vs. Simulation -
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 formal into a simulation-based verification plan.
DAC video: How Oski’s Abstractions Simplify State Space to Scale Formal
Vigyan Singhal talks with Cadence Team Verify’s Joe Hupcey at #48DAC about Oski’s unique formal verification methodology, and how Oski Abstraction Models simplify the state space to scale formal methods for large and complex designs.
DAC video: Formal Becoming a Requirement for Tapeout
EDA Cafe’s Graham Bell interviews Vigyan Singhal at DAC to discuss recent developments in how companies are applying formal, and in the integration of formal with simulation into the verification flow using shared coverage metrics for end-to-end formal verification. Singhal also talks about how integration has given rise to exciting new trends seen at #48DAC where advanced complex designs are deploying almost half the resources using formal for block-level verification, and formal is becoming requirement for tapeout.
- Link to the full Richard Goering blog post – How to Succeed with Formal – is here
- Link to the full Cadence Team Verify blog post – Oski Technology at DAC 2011 – is here
- Contact us to find out more about the Oski Poster Presentation “How Formal Methodology Shrank the Verification Schedule of a Complex Statistics Block by 6x” Cisco ( 2U.20).
Photo of co-authors Chirag Agarwal from Oski Technology (right) and Darrow Chu from Cadence (left) at DAC 2011 User Track Poster Presentation.
Schedule a Meeting with Oski
If you visited us at DAC and wish to schedule a meeting, please contact us.
Looking for DVCon videos? Click here.
DAC 2011, San Diego