Latest Past Events

DVClub Europe – Formal Verification

13 days to go the next DVClub Europe meeting takes place on Tuesday 23rd April with a theme of "Formal Verification". Formal Verification can help you find bugs earlier in the design cycle and accelerate root cause analysis. But success with Formal requires the effective selection and implementation of the right formal technologies and methods. In this DVClub meeting… DVClub Europe – Formal Verification

osmosis Aerospace and Defense 2024 A Formal Verification Virtual Event

osmosis Aerospace and Defense (A&D) is about sharing the success in using formal techniques to address the demanding verification requirements and challenges of DO-254 compliant and other high-consequence systems. ‌ We have put together the following program covering a wide range of formal verification topics. Day 1 - Tuesday, April 23 10:00am Pacific | 1:00pm… osmosis Aerospace and Defense 2024 A Formal Verification Virtual Event

Siemens User2User Verification Forum 2024 India

Hyatt Place, Banjara Hills Road no 1, Banjara Hills, Hyderabad

Join us at the Siemens User2User Verification Forum 2024 in India next week! Gain insights on Smart Verification - Using AI in Functional Verification and learn best practices in design and verification flows that can speed up your ASIC and FPGA design & verification cycle. Don't miss the chance to leverage AI and ML based… Siemens User2User Verification Forum 2024 India