September 8, 2022
Equivalence checking supports the efficient reuse of designs that reside on out-of-date silicon but remain valid in their own right.
April 16, 2021
The formal apps start-up has built strong positions in automotive and RISC-V and will strengthen Siemens in competition with Cadence.
July 27, 2020
DAC provided a forum for the growing number of verification efforts focused on checking the architectural compliance and overall RTL quality of RISC-V processors.
April 1, 2020
The verification specialist is adding more online resources to help engineers working from home during the Covid-19 pandemic.
July 2, 2019
A SystemC/C++ app from a library that extends the OneSpin 360 DV-Verify platform was used by ML IP specialist NanoSemi on a 5G/WiFi project.
May 28, 2019
OneSpin is bringing recent product launches to DAC and will have technical experts presenting within the conference's Designer Track.
May 24, 2019
The formal specialist is extending its line for Intel FPGAs that target areas such as AI/ML and HPC, and building out a RISC-V suite focused on ISA compliance.
May 8, 2019
Cadence and OneSpin are applying various forms of machine learning to their tools to automate formal verification.
April 3, 2019
The verification specialist will address the challenges posed by billion-gate SoCs and the integration of formal and simulation in its presentations.
February 22, 2019
OneSpin will focus at DVCon on its formal integrity verification platform for the RISC-V open-source which aims to speed up the core's adoption. The company will also feature the solution with a partner at EmbeddedWorld.