FAA Confirms $1.5 Billion Peraton Contract as U.S. Air Traffic Control Overhaul Accelerates 
Innovent Biologics Shares Rally on New Eli Lilly Oncology and Immunology Deal 
Samsung Electronics Shares Jump on HBM4 Mass Production Report 
AST SpaceMobile Joins MSCI ACWI Index as Largest New Addition, Boosting Market Visibility 
Russia Signals Further Restrictions on Telegram Amid Ongoing Regulatory Disputes 
Treasury Wine Estates Shares Surge After U.S. Dispute Settlement and Earnings Upgrade 
ByteDance Advances AI Chip Development With Samsung Manufacturing Talks 
Trump Administration Plans Chip Tariff Exemptions for Big Tech Amid AI Data Center Push 
DBS Expects Slight Dip in 2026 Net Profit After Q4 Earnings Miss on Lower Interest Margins 
American Airlines CEO to Meet Pilots Union Amid Storm Response and Financial Concerns 
Cloudflare Forecasts Strong Revenue Growth as AI Fuels Cloud Services Demand 
Standard Chartered Names Peter Burrill as Interim Group CFO Following Diego De Giorgi’s Exit 
Canadian Airlines Suspend Cuba Flights Amid Jet Fuel Shortage and U.S. Sanctions 
Amazon Explores AI Content Marketplace With Media Publishers 
Petrobras Posts Record Oil Exports as Production Surge Fuels Global Expansion 
CBA Shares Surge After Record Half-Year Profit as Rate Outlook Improves 
SMIC Shares Slide Despite Strong AI-Driven Earnings as Margin Pressure Looms 
SAN JOSE, Calif., Dec. 19, 2017 --
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
[email protected]
