• LUBIS EDA is a Germany-based EDA company that specializes in formal verification, a mathematically rigorous method for proving that a chip design behaves correctly under all possible conditions. • Founded in 2021 by a team of researchers and engineers from the academic world, the company has rapidly become a notable innovator in an area that the semiconductor industry increasingly recognizes as mission-critical. • The Problem: Verification Is the Modern Bottleneck In contemporary microchip development and verification the process of ensuring that hardware behaves as intended is widely understood to be the most time-consuming and risk-laden part of the design flow. • Traditional simulation-based methods use constrained random test benches to exercise portions of a design, but they can miss “corner cases” rarely triggered interactions that nonetheless can cause functional failures on silicon. • As chip complexity scales with AI, high-performance computing, and automotive systems, the number of possible states a design can enter grows exponentially, overwhelming traditional simulation approaches and leading to costly tape-out errors or respins. • Formal verification, in contrast, mathematically proves properties of a design, such as protocol compliance, safety conditions, or correctness of state transitions across all possible inputs and states.

Article Summaries:

  • LUBIS EDA, a German EDA firm founded in 2021, focuses on formal verification to tackle the growing bottleneck in chip design. As semiconductor complexity rises, traditional simulation struggles to cover all corner cases, leading to costly tape‑out errors. LUBIS offers automated assertion generation, a formal‑ready verification environment, and a cloud‑hosted “LUBIS‑on‑cloud” platform that integrates with CI pipelines, enabling scalable, exhaustive verification. The company also provides consulting and training to help teams adopt formal methods. Early deployments show improved bug detection and reduced design cycle times, positioning LUBIS as a workflow provider rather than just a tool vendor.

Sources: