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.
OneSpin is bringing recent product launches to DAC and will have technical experts presenting within the conference's Designer Track.
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.
Cadence and OneSpin are applying various forms of machine learning to their tools to automate formal verification.
The verification specialist will address the challenges posed by billion-gate SoCs and the integration of formal and simulation in its presentations.
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.
Functional safety specialist will demonstrate extensions to its own suite and co-host demos highlighting its collaboration with OneSpin Solutions.
The formal verification specialist will leverage its recent, successful certification by TÜV SÜD for functional safety solutions.
Formal, AI and UVM form key parts of the OneSpin agenda for this year's Design Automation Conference.
Formal-verification specialist OneSpin is setting up its own equivalent of an app store, building on top of a formal engine the company now licenses to other companies.
View All Sponsors