VC Formal
Latest Past Events
VC Formal Special Interest Group
Santa Clara Marriott 2700 Mission College Blvd, Santa ClaraRegister for the Synopsys VC Formal Special Interest Group (SIG) event today. This event provides an opportunity for users, managers, and enthusiasts to stay connected with the latest formal verification innovations, techniques and methodologies. Industry leaders such as Amazon, Black Sesame, Microsoft, NVIDIA, Samsung, and Untether AI will share their experiences with the latest formal… VC Formal Special Interest Group
VC Formal Virtual Workshop – North America & Europe
Location: Virtual workshop with hands-on labs. This workshop is best suited for attendees based in North America and Western Europe. For attendees based in Eastern Europe or Asia, please register for this workshop being held on June 21st instead. Registration will close on June 14th. Space is limited! Do you want to harness the force of formal verification to ensure… VC Formal Virtual Workshop – North America & Europe
Don’t Take the Risk, Formally Verify Your RISC-V Cores
Synopsys Webinar | Thursday, May 25, 2023 | 9:00 a.m. PT According to a recent Semico Research report, the RISC-V Core IP market is expected to grow at a 34.9% CAGR through year 2027. With increasing popularity, it is of utmost importance that the RISC-V Core IPs are secure and bug free. In this… Don’t Take the Risk, Formally Verify Your RISC-V Cores