LUBIS EDA
LUBIS EDA provides automated formal verification solutions and consulting services to help companies build high-quality, bug-free microchips. They focus on improving productivity and bringing confidence to silicon designs by identifying simulation-resistant and corner-case bugs in high-risk design or IP blocks. Their unique automated formal verification methodology and AI-based EDA platform, LUBIS-on-cloud, are designed to achieve first silicon success, stay within budget, and adhere to tape-out schedules. LUBIS EDA also offers 'done-for-you' formal verification services and training to assist clients with custom designs or skill development. The company has completed over 50 projects in 2023 and finds an average of 5 bugs in blocks that have already undergone traditional verification.
LUBIS EDA
LUBIS EDA provides automated formal verification solutions and consulting services to help companies build high-quality, bug-free microchips. They focus on improving productivity and bringing confidence to silicon designs by identifying simulation-resistant and corner-case bugs in high-risk design or IP blocks. Their unique automated formal verification methodology and AI-based EDA platform, LUBIS-on-cloud, are designed to achieve first silicon success, stay within budget, and adhere to tape-out schedules. LUBIS EDA also offers 'done-for-you' formal verification services and training to assist clients with custom designs or skill development. The company has completed over 50 projects in 2023 and finds an average of 5 bugs in blocks that have already undergone traditional verification.