TMCnet News
Semiconductor Industry Responds to OneSpin's Dare to Solve "The Sudoku Challenge" Holiday PuzzleMUNICH, 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:
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. "Ths 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 www.onespin.com/holidaypuzzle or read the announcement blog post on Semiconductor Engineering. The announcement for the next puzzle is expected in December 2018. About OneSpin Solutions Engage with OneSpin at: 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:
|