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.
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…
Program Gives Engineers Access to Online Demos, Webinars, Support and Other Technical Materials
MUNICH, GERMANY –- March 31, 2020 –-OneSpin® Solutions, provider of certified IC integrity verification solutions for building functionally correct, safe, secure and trusted integrated circuits, announced the expansion of its online resources program to enable today’s remote work-from-home verification engineers to continue to create electronics that are functionally correct, safe, trusted and secure. The updated program provides engineers the knowledge tools necessary to tackle their complex verification challenges from the safety of their home environment amid the COVID-19 situation.
More than 40 Organizations Across 5G, AI, IoT, and Automotive Took Part Showing Trust and Security Dilemma Is of Critical Importance
MUNICH, GERMANY –- March 4, 2020 -–OneSpin® Solutions, provider of certified IC integrity verification solutions for building functionally correct, safe, secure and trusted integrated circuits, today announced the three winners of its fourth annual holiday puzzle, held to highlight real-world problems of trust vulnerabilities in hardware designs and illuminate ways to avoid them. Participants from more than 40 organizations, including Xilinx, Intel, Fotonation, NXP, Nokia, AMD, Sensirion, and the OpenHW Group, worked to try to detect hardware Trojans inserted…
MUNICH, GERMANY –– February 25, 2020 ––OneSpin® Solutions, provider of certified IC integrity verification solutions for building functionally correct, safe, secure and trusted integrated circuits, announced that fast-growing customer acceptance of its verification solutions has led to a 37 percent compound annual growth rate (CAGR) in revenues during the past five years.
The revenue growth has come from leading companies in areas such as 5G cellular, automotive, industrial, and defense, where new technology challenges are prompting design teams to move to verification platforms that have the scale…
Experts share insights for building functionally correct, safe, secure and trusted integrated circuits.
MUNICH, GERMANY –– February 24, 2020 ––OneSpin® Solutions, provider of certified IC integrity verification solutions for building functionally correct, safe, secure, and trusted integrated circuits, today announced several technical speaking engagements focused on the next generation verification challenges facing today’s SoC designers. The presentations and participation at various industry events will educate developers and designers on how to properly address the challenges associated with verifying today’s complex systems.
OneSpin will present at the following events kicking off…