A monolithic semiconductor substrate

Chip Design Journal

Subscribe to Chip Design Journal: eMailAlertsEmail Alerts newslettersWeekly Newsletters
Get Chip Design Journal: homepageHomepage mobileMobile rssRSS facebookFacebook twitterTwitter linkedinLinkedIn

Chip Design Authors: Jnan Dash, Jason Bloomberg, Trevor Bradley, David Strom

Related Topics: PR on Ulitzer, Chip Design

News Feed Item

Oski Deep Bounds 2012 HWMCC Prize Awarded to Chalmers University's Niklas Sorensson and Koen Claessen in Hardware Model Checking Competition

Industrial Sponsorship of Model Checking Award Adds Focus on End-to-End Formal Verification

MOUNTAIN VIEW, CA -- (Marketwire) -- 10/26/12 -- Formal verification services provider Oski Technology (www.oskitech.com), the first industrial sponsor of the annual Hardware Model Checking Competition (HWMCC), today named Niklas Sörensson and Koen Claessen of Chalmers University from Gothenburg, Sweden, winners of the 2012 Oski Deep Bounds Award.

Presented by Vigyan Singhal, Oski Technology's president and chief executive officer, the Oski Deep Bounds Award recognizes outstanding technological achievement for solving the most challenging formal verification problems, from end to end. "Achieving deep bounds is essential for end-to-end formal verification. This award is meant to encourage research in model checking, advancing the application of formal verification to larger and more complex designs," says Singhal.

Winners were announced during the Formal Methods in Computer-Aided Design (FMCAD) Conference in Cambridge, U.K., the premier conference on formal methods theory and applications in hardware and system verification, where HWMCC, the competitive event for hardware model checkers, is co-located.

HWMCC, a driving force to improve model checkers, encourages participants to present their work and share results with a broader audience. Entrants were invited to solve benchmarks in the AIGER format.

Armin Biere, organizer of HWMCC 2012 and professor of computer science at Jonannes Kepler University in Linz, Austria, is enthusiastic about Oski's initiative. "We welcome Oski Technology as the first industrial sponsor of HWMCC. The Oski Deep Bounds Award is a worthy initiative that will help advance the state of the art in model checking research to solve the most complex industrial problems."

"End-to-End formal verification is an important consideration for the entire electronics industry," adds Singhal, who presented a check to this year's winners of the Oski Deep Bounds Award. "These problems are the most difficult and stress all commercial formal verification tools."

Oski Technology will exhibit at ARM TechCon 2012 in Booth #49 Chip Design Day, Tuesday, October 30, from 10 a.m. to 7 p.m. at the Santa Clara Convention Center, Santa Clara, Calif. Information about the winning formal verification research will be available at the Oski booth.

For more information about Oski Technology, go to: www.oskitech.com.

The ARM TechCon program can be found at: http://e.ubmelectronics.com/armtechcon/.

To learn more about the HWMCC visit: http://fmv.jku.at/hwmcc12/index.html.

About Oski Technology

Oski Technology (www.oskitech.com) 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.

For more information, contact:
Nanette Collins
Public Relations for Oski Technology
(617) 437-1822
Email Contact

More Stories By Marketwired .

Copyright © 2009 Marketwired. All rights reserved. All the news releases provided by Marketwired are copyrighted. Any forms of copying other than an individual user's personal reference without express written permission is prohibited. Further distribution of these materials is strictly forbidden, including but not limited to, posting, emailing, faxing, archiving in a public database, redistributing via a computer network or in a printed form.