Formal Verification versus Simulation

Is simulation still a viable option for functional verification? Functional verification plays a crucial role in modern digital design, ensuring that hardware systems behave as expected before they reach production. As designs grow in complexity, verification strategies must evolve to keep up with increasing requirements for reliability and efficiency. Among the available techniques, simulation has …

Read more

Why formal verification is important for semiconductor development

Formal Verification in Semiconductor Development Formal verification is an essential part of semiconductor development. There are several reasons why it is important to expand your knowledge in this area. Why formal verification? Increasing design reliability: Semiconductor devices are becoming increasingly complex, with billions of transistors on a single chip. Formal verification techniques can ensure that …

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