Oski to Exhibit Formal Verification Methodology at DVCon 2012, Feb. 28 – March 3.
Oski Technology will showcase its industry-leading formal verification methodology for complex SOC designs at #DVCon 2012, booth #805. DVCon is the leading conference on the practice of functional verification of IC designs.
Time: DVCon exhibits are open February 28, 3:30pm-6:30pm, and February 29, 4:30-7:00pm.
Venue: Oski Booth #805, DoubleTree Hotel, San Jose, California.
Web: http://www.dvcon.org
Oski’s Vigyan Singhal presented at the Cadence Club Formal series event on November 8, 2011. Also, Nalin Nimavat of Cisco presented a joint work with Oski Technology. Club Formal is a series of meetings dedicated to advancing the discussion around the application of formal verification.
Vigyan’s presentation covered detailed examples of some Abstraction Models, and how they can be used to achieve End-to-End verification using formal verification.
Nalin’s presentation covered how three End-to-End checkers were able to achieve complete proof and find corner-case bugs for a design that was hard to verify with simulation.
The event was attended by about 50 formal experts and users from various semiconductor companies.
Oski CEO Vigyan Singhal presents at Club Formal
About Oski
Oski Technology is the world’s first and only formal verification services company to successfully leverage off-the-shelf EDA tools with a unique formal verification methodology. Oski has pioneered a new approach with its proprietary Oski Abstraction Models, delivering complete End-to-End Formal verification of even the most complex SOC designs.
This is a blog by Oski Technology, a space dedicated to formal verification and methodology, driven by an in the trenches perspective and based on years of full-time experience with the application of formal verification.
It’s also a place for conversation about how the role of formal is changing in the industry. Your comments are welcome.
Oski Tutorial on End-to-End Formal
Oski’s Vigyan Singhal presented an invited tutorial on October 30 at FMCAD 2011, the eleventh in a series of conferences on the theory and applications of formal methods in hardware and system verification.
FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing.
About Oski
Oski Technology is the world’s first and only formal verification services company to successfully leverage off-the-shelf EDA tools with a unique formal verification methodology for the proper integration of formal with simulation and End-to-End Formal verification. Oski has pioneered a new approach with its proprietary Oski Abstraction Models, delivering complete End-to-End Formal verification of even the most complex SOC designs.
Oski’s Vigyan Singhal gave an invited talk to the formal verification research audience at CAV 2011 (July 14-20, Snowbird, UT), the 23rd Conference on Computer-Aided Verification, and the premier research conference on the theory and practice of computer-aided methods for the formal verification of hardware and software systems.
Shaz Qadeer asks a question at Vigyan's CAV talk, hosted by Ken McMillan of Microsoft Research
Date & Time: July 18, Monday 11:00-12:00
Session 3 Invited talk: Vigyan Singhal
Title: Deploying Formal in a Simulation World
Vigyan’s presentation described how formal verification can be deployed using simulation-based coverage in a simulation-based verification schedule. The audience consisted of leading researchers from the academia and the industry.
Oski Technology exhibited for the first time at #48DAC 2011, the 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.
How Oski’s Abstraction Models Achieve End-to-End Verification with Formal
Oski Technology is the world’s only formal verification services company to have successfully leveraged off-the-shelf EDA tools and formal methods with a unique approach to formal verification, using proprietary Oski Abstraction Models and methodology to deliver complete verification of even the most complex SoC designs. Oski’s customers include Cisco, Cypress, NVIDIA, Rambus, Xilinx.
Vigyan Singhal and Philippa Slayton of Oski Technology talk formal verification with a prospect at DVCon 2011
Oski CEO Vigyan Singhal Video on Formal Verification
Oski Technology CEO Vigyan Singhal was recently interviewed at DVCon 2011 by Joe Hupcey III for Cadence’s Team Verify, a channel dedicated to formal users.
About Oski Technology
Oski Technology has over 20 years of experience in formal verification. Oski has pioneered and perfected a proprietary methodology in the Oski Abstraction Methods to deliver complete verification coverage for complex SOC designs, and used it to solve the toughest design verification problems with dramatic results: Oski’s unique formal methods have found twice as many bugs in half the verification schedule, including corner case bugs that are almost impossible to detect in a simulation environment. Oski’s customers include Cisco, Cypress, NVIDIA, Rambus, Xilinx. More information about Oski’s core services and verification solutions, is here: www.oskitech.com.
