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 you to extend your week of gathering verification knowledge.)

What is osmosis? It stands for Open Siemens Meeting on Solutions, Innovation & Strategy and it is the event for customers and partners of Siemens EDA Questa Formal and OneSpin solutions.

The name was chosen intentionally because of the term osmosis represents movement in two directions. In this case, we wish to underscore a two-way transfer of knowledge, which is essential to the success and value of any users’ group event. This users’ group meeting is tailored towards users of Questa Formal and OneSpin solutions, but we encourage everyone who is interested in areas of functional correctness, safety, security, or trust to attend – this event is for you! In general, the event is going to be packed with information, shared learning, and in-person interactions with industry experts.

What is your story? If you have a story to tell, you’re invited to share it at osmosis. You’ll benefit from increased industry visibility as a subject matter expert, and the conversations that follow may help you, or others, improve solutions even more.

Abstract guidelines are here: https://events.sw.siemens.com/en-US/eda-osmosis-2022/

And you can pre-register now: https://www.onespin.com/osmosis-2022/registration

The team can’t wait to see you in-person!

Nicolae Tusinschi
for the Siemens EDA Formal team

REGISTER HERE