Startups as an excellent verification service provider 

It is always difficult for companies to outsource work, especially to startups with no reputation. However, there are many benefits of using a startup as a service provider for you: 1️⃣ Flexibility: It is easier for startups to adjust rapidly to changing requirements, as there are less people involved in decision making and less red tape. …

Read more

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