Service

Startups as an excellent verification service provider 

Startups as an excellent verification service provider Why companies hesitate to work with startups It is natural for teams to worry about outsourcing to smaller service providers. Common fears include: Lack of stability Uncertainty about expertise Limited resources Concerns about delivery capability However, these assumptions rarely reflect reality.In fact, semiconductor startups especially formal verification specialists …

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