➀ LUBIS EDA is a company that specializes in automating formal verification to enhance the reliability of high-risk silicon designs.

➁ Their cloud-based product, LUBIS-on-cloud, simplifies the setup process and uses AI for quick bug detection.

➂ In 2023, they completed over 50 projects, uncovering more than 250 bugs, demonstrating the effectiveness of their verification process.