Testimonials

LUBIS EDA Testimonials

At LUBIS EDA, we’re proud to work alongside, customers and technology partners who share our commitment to quality, reliability, and innovation. Together, we advance the state of formal verification — delivering world-class services and training. Below you’ll find the companies that are part of our journey.

LUBIS EDA — Case Studies

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