SAN JOSE, Calif., Dec. 19, 2017 (GLOBE NEWSWIRE) --KOREA IT TIMES

WHO: OneSpin®, provider of innovative formal verification solutions for highly reliable, digital integrated circuits (ICs)

WHAT: Invites the semiconductor industry to take its Holiday Puzzle, “The Sudoku Challenge,” using any Formal Verification software to find the solution.
The problem should be set up with hardware description languages VHDL, Verilog or SystemVerilog to write register transfer level (RTL) code and assertion languages SVA, PSL or ITL for assertions. Solvers’ assertions must prove the solution is unique, though specifics of the solution aren’t necessary.
Three winners will receive an Amazon Echo Plus.
For more details or to take the challenge, solvers should go to: http://bit.ly/2Cm4Obe

DEADLINE: Sunday, January 7, 2018

About OneSpin

OneSpin Solutions has established itself 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. Its advanced formal verification platform and dedication to getting it right the first time have fueled dramatic growth over the past four years as it forges partnerships with leading electronics companies to pursue design perfection. OneSpin: Making Electronics Reliable.

Engage with OneSpin at:
Website: www.OneSpin.com
Twitter: @OneSpinSolution
LinkedIn: https://www.linkedin.com/company/onespin-solutions
Facebook: https://www.facebook.com/OneSpinSolutions

OneSpin, OneSpin Solutions, OneSpin 360, Fault Injection App (FIA), Fault Propagation Analysis (FPA), Fault Detection App (FDA) 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                                                     
nanette@nvc.com