OneSpin Solutions has announced the three winners of its fourth annual holiday puzzle security challenge, held to highlight real-world problems of trust vulnerabilities in hardware designs and illuminate ways to avoid them. Competitors entered from over 40 organisations, including Xilinx, Intel, Fotonation, NXP, Nokia, AMD, Sensirion, and the OpenHW Groups.

OneSpin Solutions, provider of certified IC integrity verification solutions for building functionally correct, safe, secure, and trusted integrated circuits, has announced the success of the company’s inaugural users conference, Osmosis. Osmosis was held October 31st 2019, co-located with DVCon Europe in Munich, Germany. 

OneSpin Solutions invites attendees of the 50th Design Automation Conference to become Beta users of its new Cloud Computing System. Approved project teams will be able to access cloud servers at no charge, less a minimal charge to Amazon for the cloud service, until August 30.

OneSpin Solutions and Oasys Design Systems today announced they have signed an original equipment manufacturer agreement. Under terms of the agreement, OneSpin is licensing a portion of its OneSpin 360 EC technology, automated functional equivalence checking software, to Oasys to integrate with its RealTime Designer physical RTL synthesis software.

OneSpin Solutions announced the bundling of multiple verification tools into its new OneSpin 360 DV Product Family. OneSpin 360 DV is shipping now and contains three separate verification tools for push-button formal analysis, automated transaction-level ABV and functional coverage. Tools come bundled with pre-packaged solutions at no additional charge.

OneSpin Solutions closes 2012 with double-digit growth as adoption of its formal ABV solutions continued for both application specific integrated circuit (ASIC) and field programmable gate array (FPGA) designs. In addition, co-founders Dr. Raik Brinkmann and Dominik Strasser assumed the roles of president and chief executive officer and vice president of engineering, respectively.

OneSpin Solutions today announced that Maxim have enhanced productivity by deploying OneSpin 360 MV software at design centers worldwide. “OneSpin 360 MV can identify issues early in the design cycle, when it’s easier and more cost effective to make changes,” notes Frank Hsu, senior principal member of technical staff at Maxim.

OneSpin Solutions, an EDA company that provides innovative formal assertion-based verification solutions, today announced that it has enhanced its flagship product 360 MV to perform 4-state X-analysis and X-verification. This enhancement enables safe, exhaustive analysis of unknown, undefined, and “don’t care” signal values (X’s) and their propagation through a design. In contrast to simulation, it enables users to safely uncover all loca...

OneSpin Solutions, an electronic design automation (EDA) company that provides innovative functional RTL verification solutions, today announced the customizable integration between OneSpin’s 360 MV formal assertion-based verification (ABV) solution and Platform Computing’s LSF infrastructure, the industry’s leading workload management solution for high-performance computing environments. The integration enables 360 MV users to transparentl...