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 & …
Osmosis Aerospace and Defense (A&D) is about sharing the success in using formal techniques to address the demanding verification requirements and challenges of Trust and Assurance verification, Safety Critical Designs, and DO-254 compliant and other high-consequence systems. We have put together the following program covering a wide range of formal verification topics – along with …
Osmosis: OneSpin Meeting on Solutions, Innovation, & Strategy Presented by OneSpin: A Siemens Business 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 name is an acronym (OneSpin Meeting on Solutions, Innovation, & Strategy), it was chosen …
Continue reading "Formal Verification Conference: Osmosis 2023"
