Oski Live Formal Verification Challenge Success at DAC 2012
Oski receives & formally verifies highly complex RTL design in 72 hrs, *live* at #49DAC 2012
Oski Formally Verifies NVIDIA Design in 72 Hours
The results are in! Find photos and additional coverage plus the new 6-minute wrap-up video of the Oski Challenge on the Oski blog, here. Team Verify blog coverage is here.
Formal has come along way but few people have seen formal deliver results in under three days on a new design, sight unseen. Oski proved it could be done in an impressive 72-hour time frame, on camera, live at DAC 2012. DAC attendees and others followed the action live on webcam at the Oski booth, and via real-time updates on Twitter at oskitech.
About the Oski Live Formal Verification Challenge at DAC 2012
Oski Live Formal Verification Challenge Event DAC 2012
The Oski Live Verification Challenge at DAC 2012: No better opportunity to find out what can be done with formal verification under an extremely tight deadline.
Click here for video announcing Oski Live Verification Challenge Ride at DVCon 2012. Interview with Joe Hupcey of Cadence’s Team Verify. Reference link: Cadence Team Verify Blog ~ Video: Oski Dares You to Challenge Their Formal & Assertion-Based Verification Skills at DAC 2012
Additional Oski news coverage here: Richard Goering Industry Insights Blog ~ 72-Hour Challenge Aims to “Prove” Formal Verification
NVIDIA Puts Oski’s Plan-Verify-Measure Approach to the Test
WHAT: * Live * Oski Verification Challenge Event *
WHEN: June 3 – June 6
WHERE: Oski Booth #319 at #DAC2012, Moscone Center, San Francisco, California.
Live Formal Verification: One of Six Stages
Oski’s Plan-Verify-Measure approach to formal verification incorporates a six-step process: Plan, Pre-Verify, Verify, Analyze, Debug, and Measure. For the Oski Verification Challenge at DAC, we can execute on any one of these steps or stages, receiving access to the design at 6pm Sunday, June 3, and delivering results at 5pm Wednesday June 6.
See the action on our Oski Challenge webcam at the Oski DAC Booth #319.
Oski’s Six-Step formal process
What Types of Designs Can Be Submitted?
We will consider submissions of all types of RTL designs, including designs from a processor, networking, SoC, IP project; and whether the design is in the design phase, in final netlist stage, in production, or a legacy design. The contributing design team will receive a detailed, actionable report of results, Oski Verification Challenge shirt, Oski Time-to-Verify certificate and finish photograph with Oski engineering staff.
For more information, contact Oski here, or email challenge AT oskitech DOT com.
About Oski Technology
Oski Technology has over 20 years of experience in formal verification. Oski has pioneered and perfected a proprietary methodology to deliver complete verification coverage for complex SOC designs, and solved 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 almost impossible to detect in a simulation environment. Oski’s customers include Cisco, Cypress, NVIDIA, Rambus, Xilinx.
—
Oski Technology logo is the trademark of Oski Technology, Inc. All other trademarks mentioned are the property of their respective companies.