To be fair, Vigyan and his team are likely what I would call "expert formal users", but still a pretty cool feat... :-)
Oski Technology Beats 72-Hour Clock in Formal Verification Challenge
Formally Verifies NVIDIA Design in Three Days, Finding Four Corner-Case Bugs
Press Release: Oski Technology – Wed, Sep 12, 2012 11:30 AM EDTMOUNTAIN VIEW, CA--(Marketwire - Sep 12, 2012) - Formal verification services provider Oski Technology (www.oskitech.com) is celebrating success after beating the 72-hour clock in the first-ever Oski Verification Challenge held during this year's Design Automation Conference (DAC) in June.
"We showed that formal verification is a proven technology," affirms Vigyan Singhal, Oski's president and chief executive officer, whose team successfully delivered formal verification results on a new NVIDIA design in less than three days. "This was an ambitious project and one that hasn't been attempted before at DAC, but we were confident in our abilities and the formal verification methodology."
The Oski team received a register transfer level (RTL) design it hadn't seen before from NVIDIA at 5 p.m. Sunday, June 3, hours before DAC officially began, and formally verified it in less than 72 hours. DAC attendees followed the action on a webcam feed at the Oski booth and through regular Twitter updates.
Announced in March, the Oski Verification Challenge invited design teams to provide an RTL design of any type, including legacy design, in any design phase. NVIDIA's design was selected, though not shared with Oski until the challenge began, though the two companies worked together to determine what information would be most suitable for a summary report.
The NVIDIA team received a detailed verification report delivered at 5 p.m. Wednesday, June 6, showing four formerly undetected corner-case bugs. Additionally, the Oski Verification Challenge team wrote and identified end-to-end checkers, some of which were passing.
Anshu Nadkarni, NVIDIA's director of hardware engineering, notes: "I believed something would come out of the formal verification challenge, but the result exceeded my expectations. The end-to-end verification is extremely valuable for us. We have tight deadlines and aggressive schedules. The micro-architecture is detailed, making it hard to come up with a comprehensive verification plan without understanding it. What Oski Technology was able to achieve is phenomenal."
Each NVIDIA team member was awarded a Time-to-Verify certificate, a digital photograph with the Oski engineering staff, and an Oski Live Verification Challenge T-shirt.
To learn more about the Oski Verification Challenge, visit: http://oskitech.com/2012/09/oski-challengewrap-up-video/.
About Oski Technology
Oski Technology is a formal verification services company with expertise in deploying formal verification on complex, digital designs. Oski Technology has developed a unique formal verification methodology and Oski Abstraction Models to solve challenging capacity problems with formal verification. Its formal methods bring a higher level of productivity than traditional simulation and formal verification approaches. Oski Technology, headquartered in Mountain View, Calif., with a design center in India, has built a team of the world's foremost experts in formal verification. More information about Oski Technology can be found at: www.oskitech.com.
All trademarks and registered trademarks are the property of their respective owners.
Contact:
For more information, contact:
Nanette Collins
Public Relations for Oski Technology
(617) 437-1822
Email Contact
Nanette Collins
Public Relations for Oski Technology
(617) 437-1822
Email Contact
No comments:
Post a Comment