Get in touch

Tell us about your project

Whether you’re planning your next sign-off engagement, exploring training for your team, or looking for a formal verification partner — we’d like to hear from you.

Name
LUBIS EDA company picture
The LUBIS EDA team — Kaiserslautern

What happens next

1

We review your inquiry

The right person reads your message — usually within a few hours.

2

We reach out to you

We'll confirm we have everything we need and propose a time to talk.

3

We schedule a scoping call

A short conversation to understand your design, timeline, and goals — so we can give you a clear picture of how we'd approach it.

Direct contact

✉️

General inquiries

contact@lubis-eda.com

📍

Trippstadter Straße 110

67663 Kaiserslautern, Germany

in

Follow LUBIS EDA on LinkedIn

Updates on formal verification and company news

Stay up-to-date on Formal Verification

Our newsletter covers practical techniques, project insights, and industry developments — written by the engineers who work on this every day.

Training Topics

  1. Abstraction vectors (time, functionality)
  2. AIP for protocols
  3. AIP orchestration
  4. BMC & IPG, invariants
  5. Codestyle
  6. Completeness
  7. Liveness property, safety property
  8. Non-determinism (abstraction technique)
  9. Response generation (abstraction technique)
  10. Scoreboard (abstraction technique)
  11. Signal cutting, blackboxing
  12. State space explosion and mitigation techniques
  13. SVA fundamentals
  14. Whitebox checking, blackbox checking, greybox checking
  15. Witness, vacuity, reachability

Become a leader in formal verification