February 27, 2020
Portable stimulus pioneer Breker will feature across the DVCon program also highlighting its work with RISC-V.
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.
June 8, 2017
Formal, AI and UVM form key parts of the OneSpin agenda for this year's Design Automation Conference.
June 3, 2014
Synopsys adds formal, static, clock-domain crossing, and low-power checking to verification engineers' toolbar