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

At LUBIS EDA, Summer is coming! We used the time before the easter break for a spring-clean.
We worked on our code base to set our selfs up to ship new features within the next months. 

I guess you’re here for the new features. Let’s take a look: 

  • Full support of arrays:
    We extended our subset to fully support VIP generation for arrays from SystemC. 
  • Documentation is ready: 
    You’re now able to find all supported features within our language reference.
  • LUBIS IDE improvements: 
    We continued to develop the IDE. Errors are now highlighted within the code.  

We are about to start our first alpha test, feel free to ask for a demo.

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