Bringing CI into Formal Verification

In software development, continuous integration ensures that changes are tested automatically, enabling reliable and iterative progress—but hardware verification still lacks a comparable solution. The challenges include complex environment setups, fragmented toolchains, and a lack of historical data to track regressions effectively. We will present a methodology which bridges this gap by providing continuous formal verification without adding overhead, offering clear insights into progress and failures, and ensuring compatibility across different toolchains for both engineers and management.

Dr. Tobias Ludwig is the CEO and co-founder of LUBIS EDA, a company specializing in electronic design automation (EDA) tools and formal verification consulting. He earned his Ph.D. in Electronic Design Automation from the University of Technology Kaiserslautern in 2021. During his doctoral studies, Dr. Ludwig identified inefficiencies in traditional formal verification processes within the semiconductor industry. This insight led him to work on an automated EDA software solution aimed at enhancing development processes and ensuring high-quality, efficient outcomes. Collaborating with Dr. Michael Schwarz and Dr. Max Birtel, he co-founded LUBIS EDA to advance formal verification in the semiconductor industry. Under Dr. Ludwig's leadership, LUBIS EDA has focused on automating formal verification to uncover simulation-resistant and corner-case bugs in high-risk silicon designs. The company integrates cutting-edge tools and AI techniques to make formal verification more accessible and effective.