#1 WHAT’S THE NEWS? – KEEP UP TO DATE!

Within this series we keep you updated on our mission to provide you tools for your Agile Hardware Development!

  • LUBIS IDE is coming:
    The time of error prone fiddling with the terminal is (almost) over. We started implementing a first MVP for our GUI. Keep tuned for updates on the matter in the future.
  • Plug & Play installation:
    Time is everything! Right now, we are working on an easy-to-use installation. We want you to get started right away without the need to wrap your head around a complex installer.
  • New engine:
    We managed to upgrade our tools to the newest library versions. We managed to reduce runtime for most problems by 90%.

Follow us to stay informed on our correct-by-construction hardware generation.

#agilehw #correct-by-construction

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