Pliops Testimonial
Formal verification for extreme data processor semiconductor IP
Project background
Pliops is a startup founded in 2017 by data architecture experts with an audacious vision: to tackle the data explosion when massive data growth collides with the shortcomings of existing compute and storage systems. With $200 million in funding and teams in Israel and the United States, CRN named Pliops one of the 10 hottest semiconductor startups in 2020.
The challenge
Verifying complex semiconductor IP under a demanding tape-out schedule requires a formal verification partner who can handle rapidly evolving RTL and changing project requirements without compromising on quality.
LUBIS EDA contribution
LUBIS EDA’s team demonstrated an unparalleled understanding of the details that need to be considered at an engineering level, combined with strong proficiency in deploying formal methods for verifying complex IP blocks. Their commitment to a bug-free verification process gave Pliops the confidence needed throughout the project.
How the work was done
LUBIS EDA operated as a reliable partner throughout, handling the balance between rapidly evolving RTL and shifting project requirements with ease. Their straightforward approach to the engagement kept the development schedule on track.
Results achieved
LUBIS EDA helped Pliops reach their tape-out goals in time, with a straightforward development schedule and an edge in verifying their semiconductor IP. Their efforts contributed directly to the success of the projects.
Value for Pliops
LLUBIS EDA proved to be the ultimate reliable partner in Pliops’ journey toward outstanding verification coverage. Pliops looks forward to future collaborations.
What Our Partners Say