LUBIS EDA

LUBIS EDA is an all-in-one Formal Verification Service provider to sign-off your high-risk IP blocks. Our Formal Verification Methodology ensures a high-quality verification and predictable project planning... We help our clients to find simulation-resistant bugs in their digital IP blocks like CPUs, Graphics cards, and memory... Our groundbreaking software produces high-quality verification IP which enables you to meet the demand of developing cost-effective, bug-free semi-conductors for the industries of the future. Additionally, we are determined to produce Formal Verification experts through our extensive training program.

Also known as: LUBIS EDA GmbH

Primary location: Kaiserslautern Germany