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.
Formal, AI and UVM form key parts of the OneSpin agenda for this year's Design Automation Conference.
Synopsys adds formal, static, clock-domain crossing, and low-power checking to verification engineers' toolbar
View All Sponsors