NextSilicon Testimonial

NextSilicon Testimonial

Formal verification for revolutionary HPC acceleration

NextSilicon logo

Project background

NextSilicon Ltd. is designing a revolutionary acceleration solution for HPC to deliver faster performance. Founded by veterans of the computing industry who were aware of the growing limitations of modern technology, NextSilicon believes that technology should allow humanity to break boundaries, not set them.

The challenge

In their quest to ensure high verification coverage, NextSilicon needed a team that understood the intricacies of semiconductor design and shared their vision for revolutionizing the HPC industry.

LUBIS EDA contribution

LUBIS EDA brought both the technical depth to understand NextSilicon’s semiconductor design and a shared understanding of what Next Silicon was working toward in the HPC industry. Their thoroughness and attention to detail in the formal verification process helped Next Silicon save time and ensure their products met the highest quality and performance standards.

How the work was done

LUBIS EDA’s expertise, professionalism, and collaborative spirit defined the engagement throughout — making them an important partner in NextSilicon’s pursuit of groundbreaking scientific progress. The collaboration was built on a shared understanding of the computing industry’s challenges and a joint commitment.

Results achieved

The collaboration gave NextSilicon the verification confidence needed to pursue their HPC ambitions, establishing a foundation both parties are committed to building on in future engagements.

Value for NextSilicon

LUBIS EDA’s expertise, professionalism, and collaborative spirit made them an important partner in NextSilicon’s pursuit of groundbreaking scientific progress, with both parties looking forward to continuing the partnership.

What Our Partners Say

LUBIS EDA's commitment to thoroughness and attention to detail in their Formal Verification process not only saved us time but also assisted us to ensure that our products would meet the highest quality and performance standards.
Matan Kacen
VP HW • Next Silicon Ltd.
Outcome Summary

Formal Verification in Support of HPC Innovation

The NextSilicon engagement shows how formal verification supports hardware teams working on ambitious, performance-critical designs. With LUBIS EDA alongside them, Next Silicon has been able to pursue its vision for HPC acceleration with confidence in the quality of their semiconductor IP.

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