Shein Hong Kong IPO to Raise $1.7 Billion at $26.5 Billion Valuation 
Adidas, Puma Shares Fall as Dick’s Sporting Goods Cuts Outlook 
Nvidia Reportedly Eyes $13 Billion Hugging Face Acquisition 
SoftBank Eyes $20 Billion Bond Sale to Refinance OpenAI Loan 
Meta Agrees to $18 Billion Settlement, Tightens Teen Social Media Rules 
Toyota Global Sales Fall as China Demand Slumps 
BNP Paribas, KB Kookmin Eye $2 Billion Techcombank Stake 
Street Poller Media and The Boom of the Street Interview Ad Industry 
Jefferies Names AMEC Top China Semiconductor Equipment Pick 
Trian Drops Wendy’s Take-Private Bid Plans, Shares Plunge 14% 
OpenAI Data Center Chief Chris Malone Exits Ahead of Planned 2027 Listing 
Amazon Secures 200 MW Wind Power Deals in Sweden 
Honda, Nissan Eye Shared Vehicle Software Platform by 2029 
Trump Administration Plans New Drug Pricing Deals With Biotech Firms 
Salesforce Shares Surge as AI Demand Powers Q2 Earnings Beat 
Mercer International Stock Surges 45% on C$20 Million Canada Funding 
Add as a preferred source on Google
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]
