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.
Company Details
- Employees
- 49
- Founded
- -
- Address
- Kaiserslautern, 67663, De
- Industry
- Semiconductor Manufacturing
- NAICS
-
Semiconductor and Other Electronic Component Manufacturing
- Website
- http://www.lubis-eda.com
- Keywords
- EDA, Hardware, Semiconductors, Digital IC Design, Digital IC Verification, Formal Verification, Agile Hardware Development.
- HQ
- Kaiserslautern
Lubis Eda Questions
Lubis Eda's website is http://www.lubis-eda.com
Lubis Eda's LinkedIn profile is https://de.linkedin.com/company/lubis-eda
Lubis Eda has
49 employees.
View email and phone details for 49
employees at Lubis Eda.
Lubis Eda's industry is
Semiconductor Manufacturing
Lubis Eda's top competitors are
Breker Verification Systems,
Linque,
New Tec Consulting,
Greenable,
Spinncloud,
Semiqon,
Crateflow,
Infineon Technologies,
Ubitium,
Zuriq.
Lubis Eda's categories are Semiconductor Manufacturing
Lubis Eda's founding year is 2021
