Quantum Machines Testimonial
Scalable formal verification for quantum computing hardware
Project background
Quantum Machines (QM) develops control systems for quantum computers. With their Quantum Orchestration™ Platform, customers can realize the full potential of any qubit, at any scale, in record time. QM’s internal teams include both VLSI design and verification engineers, who work with LUBIS EDA as a trusted partner for formal verification activities.
The challenge
Quantum Machines sought to gain an edge in verifying their product IP. Deploying formal methods at large-scale requires a partner with deep engineering expertise who can keep pace with rapidly evolving RTL and changing project requirements while maintaining rigorous formal standards.
LUBIS EDA contribution
LUBIS EDA supports Quantum Machines with formal verification services across their product IP. The team brings specialist expertise in formal methods, navigates the balance between rapidly evolving RTL and changing project requirements, and deploys formal methods for large-scale design verification.
How the work was done
The cooperation has worked flawlessly at both a personal and professional level since the first engagement in early 2022. LUBIS EDA’s proficiency in deploying formal methods for large-scale design verification, combined with their ability to tackle complex challenges, has made the collaboration a repeatable and reliable part of QM’s verification process.
Results achieved
Since the first engagement, Quantum Machines has extended the business relationship multiple times. LUBIS EDA has consistently delivered formal verification services that give QM an edge in verifying their product IP, with a dedication to quality and a commitment to an error-free process.
Value for Quantum Machines
Quantum Machines views LUBIS EDA as their strategic partner for formal verification and looks forward to working together in future endeavors. The engagement provides access to a team with unparalleled understanding of the engineering intricacies involved, consistently exceeding expectations in delivering top-notch formal verification services
What Our Partners Say
Feedback from industry leaders who have adopted model-driven formal verification methodologies with LUBIS EDA.