Lubis Eda
LUBIS EDA is helping customers to find simulation-resistant and corner-case bugs in high-risk silicon design or IP blocks. Our formal verification service enables you to: 1) Reach your silicon design verification goals faster 2) Uncover hard to find functional bugs in your design 3) Require less RTL simulation time 4) Stay within your budget and tape-out schedule 5) Avoid re-spins and improve designer productivity We functionally verify your RTL with formal techniques and iteratively communicate bugs we find. You get short feedback cycles, reduce your time spent on RTL verification and higher-quality designs. What makes us special? We work with an innovative formal verification methodology, resulting in an easy to use, high quality formal Verification IP. Instead of writing SVA properties by hand we established a property generation flow. During a verification service project, we build a propriatary model that enables us to generate VIP. The VIP can later be used in simulation and/or formal verification of your choice.
7-day free trial · no credit card
Verified contacts
45
available on Kipplo
LinkedIn employees
54
11 to 50 range
Open roles
—
no listings
Distinct roles
20
indexed titles
Tech stack
0
tools in use
Monthly traffic
7
organic / mo
Sign up free to see all 45 verified contacts at Lubis Eda
Free for 7 days · 50 credits · no card · only pay for verified records.
Decision-makers and verified team members
45 contacts with verified email or phone · masked until revealed.
- AS
Advaith Sreevalsan
Formal Verification Engineer · Information Technology
EmailPhone - SR
Sandeep Ragipati
Formal Verification Engineer · Information Technology
EmailPhone - AY
Aakarsh Yadav
Software Developer · Information Technology
EmailPhone - DW
Daniel Wagner
Software Engineer · Information Technology
EmailPhone - DB
Dominik Braun
It-systemadministrator · Other
EmailPhone - HA
Hemanth Ambarukhana
Software Engineer · Information Technology
EmailPhone - LA
Luis Alfonso Rivas Rivas
Senior Formal Verification Engineer · Information Technology
EmailPhone - MK
Madi Karsybekov
Formal Verification Engineer · Information Technology
EmailPhone - ME
Mostafa Elnahas
Formal Verification Engineer · Information Technology
EmailPhone
Showing 9 of 45 verified contacts
Top roles at Lubis Eda
20 distinct titles indexed · top 10 shown.
- 16formal verification engineer
- 3software engineer
- 2software developer
- 1()
- 1(),
- 1assistenz des ceo
- 1batang toru
- 1cfo & founder
- 1chief executive officer (ceo)
- 1founder & cto
- +10more titles
Sign up to unlock all 45 contacts at Lubis Eda
Free for 7 days · 50 credits · no card · only pay for verified records.
Sign up to reveal 45 verified contacts at Lubis Eda
7-day trial · no credit card · cancel anytime · only pay for verified records.
Trusted by sales, marketing, and GTM engineering teams.