Semiconductor Industry Responds to OneSpin’s Dare to Solve “The Sudoku Challenge” Holiday Puzzle

MUNICH, Germany and SAN JOSE, Calif., March 22, 2018 (GLOBE NEWSWIRE) --

OneSpin® Solutions, provider of innovative formal verification solutions for highly reliable, digital integrated circuits (ICs), today announced four winners of its 2017–18 holiday puzzle. 

“The Sudoku Challenge” asked engineers to use a formal verification tool to find the solution to the hardest Sudoku puzzle in the world and prove that the solution is unique.

Winners, all of whom used formal verification software to find the solution, are:

  • Phil Barker from Infineon, recipient of the Laurel Wreath prize for the solution garnering the most votes from users
  • Axis’ Lars Viklund, who triumphed with the Golden Sickle prize for the most elegant solution
  • Holger Busch of Infineon, whose speedy solution won the Magic Carpet prize for the shortest runtime
  • Anthony Wood at Imagination, awarded the Team Player prize for his kind and encouraging submission message

All four will receive an Amazon Echo Plus.

"The solutions showed different coding styles and verification strategies from some of the best formal experts in the world," notes Sergio Marchese, OneSpin's technical marketing manager, who oversaw the competition. "This challenge is fun and a valuable learning opportunity for both expert and novice formal verification engineers. Rarely do we have the opportunity to compare so many elegant and creative approaches to a single verification problem."

For more details about OneSpin’s annual holiday puzzle, go to or read the announcement blog post on Semiconductor Engineering.

The announcement for the next puzzle is expected in December 2018.

About OneSpin Solutions
OneSpin Solutions has emerged as a leader in formal verification through a range of advanced electronic design automation (EDA) solutions for digital integrated circuits. Headquartered in Munich, Germany, OneSpin is passionate about enabling users to address design challenges in areas where reliability really counts: safety-critical verification, SystemC/C++ high-level synthesis (HLS) code analysis and FPGA equivalence checking. OneSpin’s advanced formal verification platform and dedication to getting it right the first time have fueled dramatic growth over the past five years as the company forges partnerships with leading electronics suppliers to pursue design perfection. OneSpin: Making Electronics Reliable.

Engage with OneSpin at:
Twitter: @OneSpinSolution

OneSpin, OneSpin Solutions and the OneSpin logo are trademarks of OneSpin Solutions GmbH. All other trademarks are the property of their respective owners.

For more information, contact:
Nanette Collins                         
Public Relations for OneSpin Solutions      
(617) 437-1822                                         

Primary Logo

Review Article Be the first to review this article

Featured Video
Latest Blog Posts
Bob Smith, Executive DirectorBridging the Frontier
by Bob Smith, Executive Director
You’re Invited! CEO Outlook May 18
Anupam BakshiAgnisys Automation Review
by Anupam Bakshi
Automating the UVM Register Abstraction Layer (RAL)
Principle Engineer (Analog-Mixed-Signal Implementation) for Global Foundaries at Santa Clara, California
Senior HID Sensor Algorithm Architect for Apple Inc at Cupertino, California
Test and Measurement System Architect for Xilinx at San Jose, California
Circuit Design & Layout Simulation Engineer - Co-Op (Spring 2021) for Global Foundaries at Santa Clara, California
Business Operations Planner for Global Foundaries at Santa Clara, California
Staff SerDes Applications Design Engineer for Xilinx at San Jose, California
Upcoming Events
Virtual ASMC 2021 at United States - May 10 - 12, 2021
DVCon China 2021 at Shanghai China - May 26, 2021
CadenceLIVE Americas 2021 at United States - Jun 8 - 9, 2021
DesignCon 2021 at San Jose McEnery Convention Center San Jose, CA San Jose CA - Aug 16 - 18, 2021

© 2021 Internet Business Systems, Inc.
670 Aberdeen Way, Milpitas, CA 95035
+1 (408) 882-6554 — Contact Us, or visit our other sites:
AECCafe - Architectural Design and Engineering TechJobsCafe - Technical Jobs and Resumes GISCafe - Geographical Information Services  MCADCafe - Mechanical Design and Engineering ShareCG - Share Computer Graphic (CG) Animation, 3D Art and 3D Models
  Privacy PolicyAdvertise