Thought Leadership

The osmosis formal verification conference celebrates its 5th anniversary this October 17!

September 26, 2024 • 2 MIN READ
By Joe Hupcey III

Calling all formal verification enthusiasts: We are excited to invite you to osmosis 2024, marking the 5th anniversary of this premier formal verification event where experts in come together to share cutting-edge solutions and success stories. Following DVCon Europe on October 17 in the same Munich venue — with more speakers than ever before — this year’s osmosis promises to be a day of deep learning, collaboration, and networking with professionals dedicated to advancing formal methods.

Spotlight on the 2024 Agenda

This year’s osmosis is packed with sessions designed to offer attendees unmatched insights into the latest innovations in formal verification. Highlights of this year’s program include:

  • Automating formal verification with intelligent automation tools, including LLM-driven SVA generation
  • Achieving efficient verification by combining simulation and formal techniques for more robust results
  • Empowering “Issue Hunting Mode” specifically for RISC-V architectures, with advanced formal methodologies
  • Ensuring security and performance in out-of-order processors and FPGA designs through formal verification methods
  • Maximizing formal verification potential, from automating coverage exclusions to leveraging trace analysis for improved outcomes

This year’s agenda will also deliver exclusive sneak previews of future product roadmaps, offering you an unparalleled opportunity to stay ahead of the curve in formal verification trends and tools. Check out the full Conference Agenda.

Why Attend?

With osmosis celebrating its 5th year, now is the perfect time to take part in this flagship event.

  • Connect with top R&D experts and formal verification leaders
  • Be among the first to discover innovative solutions that will help you get your job done faster and shape the future of the industry
  • Participate in dynamic discussions and knowledge exchanges that will broaden your expertise

Secure your spot today to be part of this special anniversary event: osmosis 2024 Registration.

We’re looking forward to welcoming you in Munich and celebrating formal verification innovation!

Best regards,
Nicolae Tusinschi,
for the Questa OneSpin 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

What to read next:

Leave a Reply

This article first appeared on the Siemens Digital Industries Software blog at https://blogs.sw.siemens.com/verificationhorizons/2024/09/26/the-osmosis-formal-verification-conference-celebrates-its-5th-anniversary-this-october-17/