Get in touch with us for EDA software and formal verification consulting

So you want to efficiently develop bug-free microchips? Let’s chat.

Think we would make a great team?

Fill out the form below or email us at contact@lubis-eda.com to get in touch with us for EDA software and formal verification consulting.

LUBIS EDA office location
OUR OFFICE

LUBIS EDA

Trippstadter Straße 110,
67663 Kaiserslautern,
Germany

Ready to DIY your verification with our EDA tool? Need done-for-you formal verification? Need training and support?

Have Some Questions?

Fill out the form and get started today

Name

Do not fall behind

Subscribe to our newsletter where we discuss all things EDA and formal verification that help you verify digital circuits to efficiently develop bug-free microchips.

Subscribe

Cannot wait for the emails?

Follow us on LinkedIn, Instagram or Facebook.

LUBIS EDA linkedin contact   LUBIS EDA instagram contact   LUBIS EDA Facebook contact 

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