close
By using this website, you agree to the use of cookies. Detailed information on the use of cookies on this website can be obtained on OneSpin's Privacy Policy. At this point you may also object to the use of cookies and adjust the browser settings accordingly.
OneSpin Solutions brings powerful IC integrity verification solutions, exceptional know-how, and broad portfolio of automated formal verification apps to Siemens
PLANO, Texas, April 15, 2021 /PRNewswire/ -- Siemens Digital Industries Software has signed an agreement with London-based Azini Capital to acquire OneSpin Solutions, a leading provider of formal verification software that helps ensure integrated circuit (IC) integrity and enables functionally correct, safe, trustworthy and secure IC designs. Headquartered in Munich, OneSpin Solutions has developed a strong, fast-growing business by providing a broad portfolio of formal applications ("apps") for assuring IC designs operate as…
Contest drew participants from more than 20 organizations globally, emphasizing universal importance of hardware design verification
MUNICH, GERMANY – March 30, 2021 –OneSpin® Solutions, provider of certified IC integrity verification solutions for building functionally correct, safe, secure and trusted integrated circuits, has announced the winners of its fifth annual Holiday Puzzle. Each year, the puzzle highlights a different aspect of the importance of hardware design verification. This year, challengers were given a Verilog design and an accompanying stereogram image and were tasked with finding a 4-bit key that allowed the design to work as expected. The winners of 2020 contest were…
Functional Correctness, Safety, Trust and Security Solutions Shore Up Company’s Position Amid Global Pandemic
MUNICH, GERMANY –– March 23, 2021 ––OneSpin® Solutions, provider of certified IC integrity verification solutions for building functionally correct, safe, secure and trusted integrated circuits, announced that 2020 was met with unprecedented demand and adoption of its products. Revenues for OneSpin resulted in a 34 percent compound annual growth rate (CAGR) over the past five years significantly outpacing the overall formal verification market growth of roughly 6.2% (Electronic System Design Alliance Market Statistics Services Report). The company also experienced a 15 percent…
Osmosis 2020 presentation videos now available along with access to verification case study library
MUNICH, GERMANY –– February 01, 2021 ––OneSpin® Solutions, provider of certified IC integrity verification solutions for building functionally correct, safe, secure, and trusted integrated circuits, today announced the success of the company’s second annual users conference, Osmosis. Osmosis 2020 was held virtually on December 1–2, with over 60 customers across dozens of companies in attendance. Osmosis, which stands for OneSpin Meeting on Solutions, Innovation, & Strategy, transfers actionable insights and knowledge between OneSpin users and OneSpin experts to enable the best verification…
Automated formal solution detects bugs not found by simulation yielding high-quality of results and fast verification signoff
MUNICH, GERMANY – December 7, 2020 –OneSpin Solutions, provider of certified IC integrity verification solutions for building functionally correct, safe, secure and trusted integrated circuits, announced that its 360 Design Verification (DV) solutions contributed to the speedy, successful, and bug-free delivery of the OpenHW CV32E40P RISC-V core. The OpenHW Verification Task Group, recognizing that simulation would not be enough, collaborated with OneSpin to develop a verification plan that included formal methods to verify the family of CORE-V open-source RISC-V…
Sharing Expert Knowledge on Formally Verifying Functional Correctness, Security and Trust in FPGA Designs
MUNICH, GERMANY – November 18, 2020 –OneSpin Solutions, provider of certified IC integrity verification solutions for building functionally correct, safe, secure and trusted integrated circuits, will illuminate attendees and participants in Nokia’s FPGA Conference and Hackathon with knowledge on how to formally verify FPGA designs for functional correctness, security and trust. Hackathon contestants will have access to OneSpin’s 360™ Design Verification solutions to help them achieve success.
The virtual FPGA conference, focused on promoting the value of FPGAs in today’s designs, will…
Collaborating with project partners on verifying functional correctness, functional safety, and security in RISC-V processors for use in commercial artificial intelligence and industry 4.0 designs
MUNICH, GERMANY –– October 21, 2020 ––OneSpin® Solutions, provider of certified IC integrity verification solutions for building functionally correct, safe, secure and trusted integrated circuits, today announced it is a contributing partner in the Scalable Infrastructure for Edge Computing (Scale4Edge) project. Funded by the Federal Ministry of Education and Research (BMBF) of the German government under the ZuSE program, the Scale4Edge project is focused on providing a commercial ecosystem to…
Unique Curriculum Designed to Bolster Verification Expertise Needed for Designs Across 5G, IoT, AI, Automotive, Industrial, Defense, and Avionics
MUNICH, GERMANY – October 5, 2020 – Edaptive Computing Inc. (ECI or Edaptive) and OneSpin Solutions today unveiled the OneSpin Formal Verification Certification Program to help organizations at the forefront of IC design gain the necessary knowledge and expertise to deliver functionally correct, safe, assured and secured electronics to the market. The program provides comprehensive training of formal methods theory, techniques and their application to real-world hardware designs using the OneSpin Design Verification 360 Solutions.
Early deployment of unique verification solution will assure strict DO-254 safety certification is achieved
MUNICH, GERMANY–– August 18, 2020 ––OneSpin® Solutions, provider of certified IC integrity verification solutions for building functionally correct, safe, secure and trusted integrated circuits, announced that Clue Technologies has adopted OneSpin’s advanced coverage-driven assertion-based verification solution to enable implementation of critical safety flows that will allow Clue Technologies to sell their safety-certified intelligent computing systems to aircraft manufacturers.
Clue’s intelligent computing systems will be used in avionics to deliver high-performance video…
Security, Automotive Safety, RISC-V, Nuclear Energy Topics Tackled During Sessions
MUNICH, GERMANY –– July 15, 2020 –– OneSpin® Solutions, provider of certified IC integrity verification solutions for building functionally correct, safe, secure and trusted integrated circuits will have a visible presence at the upcoming Design Automation Conference, being held virtually July 20 – 24, 2020. OneSpin’s experts will be participating in two Research Track sessions, the RISC-V Theater and several technical poster sessions in the Designer Track and IP Track.
Along with participating in DAC’s technical program, OneSpin will highlight its full complement of certified IC integrity verification…