Elevating Verification Rigour: Why Semidynamics Partnered with LUBIS EDA 

At Semidynamics, the engineering team is dedicated to building high-performance AI inference systems, from terabyte-scale AIPUs to custom CPU and NPU cores. Operating at this level of complexity demands an uncompromising approach to quality. As the architecture of these systems evolves, so does the difficulty of verifying that the logic is flawless. While traditional functional verification remains a cornerstone of the process, there are areas where this rigorous simulation becomes less effective.

These challenges typically arise within the most complex design blocks—the intricate logic paths where functional verification struggles to provide the exhaustive coverage required for total certainty. Even with extensive testing, those lingering, hard-to-reach corner cases can create gaps that are difficult to close. To address this, Semidynamics has integrated formal verification into the workflow, partnering with LUBIS EDA to mathematically prove the correctness of these critical modules. This shift allows the team to verify that the architecture is inherently robust.

The decision to partner with an external team for this work was a strategic one, driven by the practical realities of the industry. Engineers with deep expertise in formal verification are highly specialized, and finding the right talent is incredibly difficult. Even when such talent is available, it rarely aligns with the requirements of a permanent, full-time role. The project lifecycle of high-end hardware development is dynamic; the need for intensive formal verification comes in specific, project-dependent waves rather than as a constant, year-round requirement.

Partnering with LUBIS EDA offers the perfect balance. By engaging them for these specialized tasks, the Semidynamics team gains immediate access to a group that operates at the cutting edge of formal verification, without the administrative burden of long-term recruitment and internal onboarding. This collaborative model ensures that the necessary expertise is available exactly when it is needed, providing the team with high-level support during critical development phases while remaining flexible enough to scale down as project priorities shift. Furthermore, LUBIS EDA specialization allows them to keep up with the innovation in formal methods while the Semidynamics team focuses on the project execution.

Ultimately, this partnership is about achieving two essential goals: accelerating the project schedule and building absolute design confidence. By offloading these mathematically complex verification challenges to the experts at LUBIS EDA, the team effectively removes significant bottlenecks that would otherwise slow down the development process. The result is a more efficient workflow and the peace of mind that comes from knowing the architecture is solid. For Semidynamics, this partnership is not just about finding extra hands; it is about bringing in the right specialized knowledge to ensure that the systems delivered to clients are as reliable and high-performing as possible.