Toyota First-Half Global Sales and Production Decline on Weak China Demand, RAV4 Transition 
Roblox Stock Drops 16% as Q3 Bookings Forecast Misses Expectations 
Sony Raises Full-Year Outlook After Q1 Profit Jumps 40% on Gaming and Chip Growth 
Holcim Raises 2026 Outlook After Strong Q2 Earnings Beat 
Sony Eyes $1.3 Billion Tamron Acquisition as Lens Maker Reviews Offer 
Novo Nordisk Eyes Turnaround as Oral Wegovy Challenges Eli Lilly in Weight-Loss Drug Race 
Tesla Weighs China Business Separation Amid SpaceX Merger Speculation 
SpaceX Earnings Preview: Bernstein Says 4 Key Factors Will Drive Long-Term Valuation 
Amazon Q2 Earnings Beat Estimates as AWS AI Growth Surges, But Q3 Revenue Forecast Disappoints 
Nike China Strategy to Lift Margins Despite $1 Billion Sales Hit, Bernstein Says 
WestJet Cancels 86 Flights as CUPE Strike Threat Disrupts Travel 
Robinhood Q2 Earnings Beat Estimates, But HOOD Stock Falls as Investors Question Profit Quality 
Apple Stock Slides 7% as Weak Sales Forecast Overshadows Quarterly Earnings Beat 
Same sparkle, different story: how lab-grown diamonds are transforming the market 
World game at war: why some European nations have threatened a World Cup boycott 
AstraZeneca, Bristol Myers Squibb Explore Mega Merger Worth Nearly $400 Billion 
Prysmian Nears Deal to Acquire Atkore in Potential All-Cash Takeover 
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]
