Thought Leadership

Osmosis – our annual event for formal verification users – is back F2F this December 8, 2022!

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

Joe Hupcey III

I am a product marketing and management professional, who brings a unique combination of hands-on engineering experience, an insightful understanding of what customers need in today’s ever-growing complex environment, and a proven ability to create winning messages that differentiate my company’s offerings from those of the competitors’. The context of this activity is the high-stakes race for more powerful chips and systems, whose complexity continues to double every 18 months even today.

More from this author

Leave a Reply

This article first appeared on the Siemens Digital Industries Software blog at https://blogs.stage.sw.siemens.com/verificationhorizons/2022/10/18/osmosis-our-annual-event-for-formal-verification-users-is-back-f2f-this-december-8-2022/