Cloudflare Forecasts Strong Revenue Growth as AI Fuels Cloud Services Demand 
Moderna Stock Drops After FDA Declines Review of mRNA Flu Vaccine 
ByteDance Advances AI Chip Development With Samsung Manufacturing Talks 
SMIC Shares Slide Despite Strong AI-Driven Earnings as Margin Pressure Looms 
xAI Co-Founder Jimmy Ba Departs as Elon Musk’s AI Startup Faces Turbulence 
Russia Moves to Fully Block WhatsApp as Kremlin Pushes State-Backed MAX App 
Russia Signals Further Restrictions on Telegram Amid Ongoing Regulatory Disputes 
More U.S. Investors Join Arbitration Against South Korea Over Coupang Dispute 
Petrobras Posts Record Oil Exports as Production Surge Fuels Global Expansion 
ANZ Shares Hit Record High After Strong Q1 Profit and Cost-Cutting Gains 
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 
AbbVie Sues HHS Over Medicare Price Controls on Botox Under Inflation Reduction Act 
Samsung Electronics Sees Sustained AI-Driven Demand for Memory Chips Into Next Year 
Ancora Holdings Builds $200M Stake in Warner Bros Discovery, Targets Netflix Asset Sale Plan 
FDA Rejects Review of Moderna’s Flu Vaccine Application, Shares Slide 
Ralph Lauren Unveils Elegant Fall 2026 Women’s Collection Ahead of New York Fashion Week 
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]
