Blog: OneSpin Blog – CEO Perspective – Innovation Requires IC Integrity
OneSpin are committed to assuring that IC integrity standards are being met when developing functionally correct, safe, trusted and secure designs....
16 December, 2019
Archive
PR: NanoSemi Relies on OneSpin Automated Formal Verification Tools to Verify SystemC Designs for 5G ASICs
OneSpin 360 DV-Verify Fills High-Level Synthesis Verification Gap for Data-Driven Designs in 5G, WiFi, Other Applications ...
27 June, 2019
Article: EDA Learns From Experience
Onespin's Co-founder and VP Engineering Dominik Strasser weighs in on machine learning and how they are experimenting and blazing trails on the cutting edge of...
26 June, 2019
Article: Complete Formal Verification Of RISC V Processor IPs For Trojan-Free Trusted ICs
Learn about a method for securing RISC-V IP that uses Operational SVA to formalise the RISC-V ISA. This paper says the resulting set of assertions...
26 June, 2019
Release: Riviera-PRO users to benefit from automatic UVM register generation plus the latest verification methodology libraries
Aldec have introduced automatic UVM register generation to Riviera-PRO, the company’s advanced verification platform....
19 June, 2019
Release: Introducing SyntHESer, Aldec’s proprietary high-speed synthesizer for HES emulation and prototyping
Aldec have developed a high-speed HDL synthesizer called SyntHESer as a part of the company’s HES-DVM emulation tool. ...
17 June, 2019
PR: OpenHW Group Announced
Rick O’Connor, former Executive Director of the RISC-V Foundation, leads organization for collaboration, ecosystem development and open-source processor cores ...
14 June, 2019
PR: OneSpin’s Newest App Assures Quality of RISC-V Processor Cores for Safety-, Security-Critical Applications
RISC-V Verification App Provides RISC-V Community with Only Solution to Exhaustively Verify IP Implementations, Ensure 100% Compliance ...
24 May, 2019
PR: OneSpin Meets Increased Demand for Formal Equivalence Checking Solution with Support for Intel Stratix 10, Arria 10, Cyclone V FPGA Families
OneSpin 360 EC-FPGA Ensures Design Integrity for Machine Learning, AI, Big Data, High-Bandwidth Applications that Require Highly Optimized Implementations, QoR ...
24 May, 2019
Article: Assure IC Integrity in your next project—Let OneSpin show you how!
Stop by and see the OneSpin team at the 56th Design Automation Conference (DAC), June 2–6 at Las Vegas Convention Center in Las Vegas, Nevada....
24 May, 2019