LUBIS EDA provides formal verification software that ensures semiconductor designs are bug-free. Their tools help engineers identify and eliminate potential errors early in the development process, improving chip reliability and reducing time to market.
Funding
$2.7M raised to dateRaised to date based on public sources. This may differ from the amount the company actually raised and is based only on what is publicly available on the internet.
EAFounders
Product
Problem
The increasing complexity of digital circuits makes it challenging to identify simulation-resistant and corner-case bugs, leading to costly respins and delayed time-to-market for semiconductor designs. Traditional verification methods often fail to detect these elusive bugs, compromising chip reliability.
Solution
LUBIS EDA provides both a cloud-based EDA platform and formal verification consulting services that enable engineers to identify and eliminate bugs in high-risk silicon designs. The LUBIS-on-cloud platform leverages AI-based technology and a unique LUBIS App builder to automate the formal verification process, improving productivity and ensuring design confidence. For customers needing additional support, LUBIS EDA offers formal sign-off as a service, applying its automated methodology to efficiently detect simulation-resistant bugs.
Target Audience
LUBIS EDA targets semiconductor design and verification engineers, particularly those working on high-risk silicon designs in industries such as AI, ML, and automotive.
Features
- AI-based cloud platform for automated formal verification
- LUBIS App builder for creating custom verification flows
- Assertion IP (AIP) generation to accelerate run-time and integrate with existing regression tests
- Formal sign-off consulting services for custom designs
- Support for various design stages, including design bring-up, design verification, bug hunting, and IP redesign
- Verification apps tailored for AI, ML, automotive, and other industries
- Web-based interface accessible without downloads