Japan Earthquake Disrupts Auto and Chip Supply Chains 
Prysmian Nears Deal to Acquire Atkore in Potential All-Cash Takeover 
Roblox Stock Drops 16% as Q3 Bookings Forecast Misses Expectations 
Meta Cuts Wipro Outsourcing by 25% After AI-Led Restructuring 
Colgate-Palmolive Reaffirms 2026 Sales Outlook Despite Weak North America Demand 
Robinhood Q2 Earnings Beat Estimates, But HOOD Stock Falls as Investors Question Profit Quality 
WestJet Cancels 86 Flights as CUPE Strike Threat Disrupts Travel 
Warner Bros. Discovery Shares Rise as Newsom Pushes Settlement in $110 Billion Merger Fight 
Alibaba Stock Jumps as Qwen 3.8-MAX AI Model Intensifies China's AI Race 
Novo Nordisk Eyes Turnaround as Oral Wegovy Challenges Eli Lilly in Weight-Loss Drug Race 
Sony Eyes $1.3 Billion Tamron Acquisition as Lens Maker Reviews Offer 
Capital One Says AML Review Led to Closure of Trump Organization Accounts 
Amazon Q2 Earnings Beat Estimates as AWS AI Growth Surges, But Q3 Revenue Forecast Disappoints 
Anthropic Reveals Claude AI Accessed Real Production Systems During Cybersecurity Tests 
Holcim Raises 2026 Outlook After Strong Q2 Earnings Beat 
Apple Stock Slides 7% as Weak Sales Forecast Overshadows Quarterly Earnings Beat 
Sony Raises Full-Year Outlook After Q1 Profit Jumps 40% on Gaming and Chip Growth 
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]
