Open side-bar Menu
 Decoding Formal
Pippa Slayton
Pippa Slayton
Pippa Slayton is Marketing and Business Development Manager at Oski Technology. She has 8+ years experience in the high-tech industry and drives marketing campaigns, marketing strategy, product launches, social media, and community building and event program management for Oski’s formal … More »

Close Win in Oski Deep Bounds 2015 Hardware Model Checking Competition for Norbert Manthey of TU, Dresden

October 29th, 2015 by Pippa Slayton

This year’s Oski Deep Bound Track Hardware Model Checking Competition (HWMCC) was a thrillingly close contest that came down to just one benchmark design of more than 100  benchmarks. The winner was announced at the Hardware Model Checking Competition Report session of the annual Formal Methods in Computer-Aided Design (FMCAD) Conference, held in Austin, Texas, on September 30, 2015. Winner Norbert Manthey of the Institute of Artificial Intelligence and a graduate of TU Dresden, Germany, took the prized first place from runners up Alberto Griggio, and Marco Roveri, researchers at Fondazione Bruno Kessler, and graduates of the University of Trento, Italy.

“The model checking solvers in the HWMCC competition continue to keep pace with industrial-strength model checkers. Oski Technology relies on advances in this technolology to deploy End-to-End formal verification methodology across the most complex designs in the industry” notes Oski Technology president and CEO, Vigyan Singhal, who congratulated this year’s winner and the runners up of the Oski Deep Bounds Award, and emphasized the outstanding calibre of the competition entries.

The Oski Deep Bounds Award was designed to recognize exceptional technological achievement for solutions that achieve deep bounds, and the model checking solvers in the competition continue to keep pace with industrial-strength model checkers.

Armin Biere is the organizer of HWMCC 2015, the competitive event for hardware model checkers, and also a professor of computer science at Jonannes Kepler University in Linz, Austria. HWMCC is a driving force to improve model checkers and encourages participants to present their work and share results with a broader audience. Entrants were invited to solve benchmarks in the AIGER format.

FMCAD is the leading conference and forum on formal methods theory and applications in hardware and system verification, where HWMCC is co-located.


Norbert Manthey, Winner Oski Deep Bounds Award HWMCC

Alberto Griggio

Alberto Griggio, Runner up Oski Deep Bounds Award HWMCC

Marco_Roveri, Runner up Oski Deep Bounds Award HWMCC

Marco Roveri, Runner up Oski Deep Bounds Award HWMCC


Related posts:

Tags: , , , , , , , , , , ,

Category: Blog

Leave a Reply

Your email address will not be published. Required fields are marked *



Internet Business Systems © 2018 Internet Business Systems, Inc.
25 North 14th Steet, Suite 710, San Jose, CA 95112
+1 (408) 882-6554 — Contact Us, or visit our other sites:
TechJobsCafe - Technical Jobs and Resumes EDACafe - Electronic Design Automation GISCafe - Geographical Information Services  MCADCafe - Mechanical Design and Engineering ShareCG - Share Computer Graphic (CG) Animation, 3D Art and 3D Models
  Privacy PolicyAdvertise