Skip to content
Siemens, June 6, 2024

Verification Academy Live: Huntsville

Siemens Training Center 360E Quality Circle, Suite 500 Huntsville, AL 35806 +1 (256) 705-2501 This event is in-person only — there is no support for remote participation. Agenda 9:30 – 10:00 Registration and Check-in  Coffee… Verification Academy Live: Huntsville

Siemens, June 4, 2024

Verification Academy Live: Westford (Boston Area)

Westford Regency Inn and Conference Center 219 Littleton Rd Westford, MA 01886 +1 (978) 692-8200 This event is in-person only — there is no support for remote participation. Agenda 9:30 – 10:00 Registration and Check-in … Verification Academy Live: Westford (Boston Area)

Siemens, May 21, 2024

Verification Academy Live: El Segundo

Embassy Suites by Hilton, LAX South 1440 East Imperial Avenue El Segundo, CA 90245 +1 (310) 640-3600 This event is in-person only — there is no support for remote participation. Agenda 9:30 – 10:00 Registration and… Verification Academy Live: El Segundo

DVClub, November 28, 2023

Auto-generation of Verification Infrastructure for IP to SoC

Agenda (BST): Time Session Description Slides Videos 12.00 GMT Welcome and Introduction Mike Bartley,Tessolve 12.00 GMT Agnisys 12.30 GMT Imperas 12.45 GMT Breker 13.00 GMT   Close About DVClub The principal goal of each DVCLUB meeting is… Auto-generation of Verification Infrastructure for IP to SoC

DVClub, 25 April 2023

DVClub Europe – Performance Testing and Analysis

Discuss the performance verification challenges posed by complex SoC with distributed cache from cluster, to interconnect to die-to-die. Agenda (BST) 12:00 Welcome and Introduction – Mike Bartley, Tessolve 12:00 Nick Heaton, Cadence Design Systems –… DVClub Europe – Performance Testing and Analysis

DVclub, February 7, 2023

DVClub Europe – Best Conference Papers from 2022

Best Conference Papers from 2022 These papers are selected from DVCon and CadenceLive! in 2022 as being most relevant to the DVClub Europe community. Agenda (GMT) 12:00 Welcome and Introduction – Mike Bartley, Tessolve 12:00 Lukas… DVClub Europe – Best Conference Papers from 2022

osmosis 2022

osmosis 2022 – Formal Verification

Attention anyone interested in Formal Verification: after a hiatus due to you-know-what, osmosis is back in-person this coming December 8 in Munich! (Yes, the day after DVCon Europe, and in the exact same hotel to make it easy for… osmosis 2022 – Formal Verification

agnisys, april 28, 2022

Formal Verification of Registers and SoC Assembly in Collaboration with Jasper™ and OneSpin™

Learn how to formally verify your design by automatically generating SystemVerilog Assertions (SVA) for your block-level register specifications, chip-level RTL, and RTL connectivity at the SoC level using ARV-Formal™.

Osmosis 2021

Osmosis 2021 (OneSpin User Group)

What is Osmosis? Osmosis is the name for all users’ group events for customers and partners of OneSpin: A Siemens Business, provider of electronic design automation (EDA) tools for integrated circuit (IC) integrity verification. Though the Osmosis… Osmosis 2021 (OneSpin User Group)