U.S. Judge Allows Jeffrey Epstein Sex Trafficking Lawsuit Against Bank of America to Proceed 
Standard Chartered Names Peter Burrill as Interim Group CFO Following Diego De Giorgi’s Exit 
xAI Co-Founder Jimmy Ba Departs as Elon Musk’s AI Startup Faces Turbulence 
Russia Signals Further Restrictions on Telegram Amid Ongoing Regulatory Disputes 
ByteDance Advances AI Chip Development With Samsung Manufacturing Talks 
Boeing Reports Major Supply Chain Quality Improvements After Spirit AeroSystems Deal 
ANZ Shares Hit Record High After Strong Q1 Profit and Cost-Cutting Gains 
CBA Shares Surge After Record Half-Year Profit as Rate Outlook Improves 
Petrobras Posts Record Oil Exports as Production Surge Fuels Global Expansion 
Lyft Shares Slide After Weak Q1 Profit Forecast and Surprise 2025 Operating Loss 
Novocure Stock Surges 30% After FDA Approves Optune Pax for Pancreatic Cancer Treatment 
Russia Moves to Fully Block WhatsApp as Kremlin Pushes State-Backed MAX App 
FAA Confirms $1.5 Billion Peraton Contract as U.S. Air Traffic Control Overhaul Accelerates 
AST SpaceMobile Joins MSCI ACWI Index as Largest New Addition, Boosting Market Visibility 
SMIC Shares Slide Despite Strong AI-Driven Earnings as Margin Pressure Looms 
U.S. Commerce Department Reaches $252 Million Settlement With Applied Materials Over China Exports 
Samsung Electronics Sees Sustained AI-Driven Demand for Memory Chips Into Next Year 
MUNICH, Germany and SAN JOSE, Calif., April 10, 2018 --
WHO: OneSpin® Solutions, provider of innovative formal verification solutions for highly reliable, digital integrated circuits (ICs)
WHAT: Will demonstrate its broad portfolio of formal verification solutions at DVCon China in Booth #4 that include agile design evaluation, metric-driven verification, block-integration validation, field programmable gate array (FPGA) implementation, safety-critical verification and SystemC/C++ design verification
WHEN: Wednesday, April 18, from 11 a.m. until 7:30 p.m.
WHERE: DoubleTree by Hilton Shanghai-Pudong Hotel, Shanghai, China
A OneSpin-sponsored short workshop titled, “Using Mutation Coverage For Advanced Bug Hunting with Formal,” will be presented from 1 p.m. until 1:30 p.m. by its Director of Application Engineering Vladislav Palfy.
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:
Website: www.OneSpin.com
Twitter: @OneSpinSolution
LinkedIn: https://www.linkedin.com/company/onespin-solutions
Facebook: https://www.facebook.com/OneSpinSolutions
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
[email protected]
