OneSpin's Formal Verification Verifies Solutions to Einstein's Riddle
Winning Entry from Nokia's Wolfgang Roessel, Runners Up from Infineon, ARM
SAN JOSE, CA - Jul 27, 2017 - OneSpin® Solutions, provider of innovative formal verification solutions for highly reliable, digital integrated circuits (ICs), today announced Wolfgang Roessel of Nokia provided the winning entry to OneSpin's Einstein's Riddle challenge, based on a public poll of the top 10 solutions.
Runners up are Darren Galpin from Infineon, Laurent Arditi at ARM and Phani Kumar Peri of Infineon.
OneSpin issued a challenge to solve the classic Einstein's Riddle using any formal verification tool. Entries were narrowed down to 10 and OneSpin confirmed they executed correctly using its DV-Verify™ formal verification. Members of the semiconductor industry voted for their favorites.
The top 10 participants received a remote-controlled flying mini drone. Winners received a second drone equipped with a camera.
"We received many outstanding solutions from engineers worldwide," notes Sergio Marchese, OneSpin's technical marketing manager who oversaw the challenge. "Solving the riddle required thought and some useful formal techniques applicable in everyday functional verification, showing formal's range and versatility."