SemIsrael Partners

LUBIS EDA empowers chip design teams to achieve high-confidence RTL sign-off with a systematic, scalable approach to formal verification. Through expert services and FormalOS, its verification infrastructure platform, LUBIS applies its proven methodology to reduce tapeout risk and scale the power of formal beyond individual experts.

The LUBIS Proven Process distills years of formal verification expertise into a mature, proprietary methodology. FormalOS extends that methodology into a software platform that integrates into existing verification environments, establishing a consistent framework that engineering teams can apply across all projects, while continuing to use their preferred formal engines and AI tools.

Founded in 2021 and headquartered in Kaiserslautern, Germany, LUBIS has grown into the world’s largest company dedicated exclusively to formal verification sign-off, supporting semiconductor companies ranging from innovative startups to Fortune 25 industry leaders. Across more than 325 SoC, ASIC, and IP sign-off projects, LUBIS has uncovered more than 900 design bugs that simulation missed, helping customers reduce verification risk, increase schedule predictability, and accelerate tapeout with confidence.