Entity
  • LUBIS EDA

    Created in 2021
  • BETA

    Up & running (A)
    Existing signals show a regular activity
  • Social networks

    3,414
  • Activities

  • Technologies

  • Entity types

  • Location

    67663, Davenportpl., 67663 Kaiserslautern, Germany

    Kaiserslautern

    Germany

  • Employees

    Scale: 11-50

    Estimated: 32

  • Engaged corporates

    4
    0 3
  • Added in Motherbase

    1 year, 4 months ago
Description
  • Value proposition

    FORMAL SIGN-OFF AS A SERVICE

    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.

    EDA, Hardware, Semiconductors, Digital IC Design, Digital IC Verification, Formal Verification, and Agile Hardware Development

Corporate interactions BETA
Corporate TypeTweets Articles
Intel Corporation
Intel Corporation
IT services, Semiconductors, Semiconductor Manufacturing
Intel Corporation
IT services, Semiconductors, Semiconductor Manufacturing
Other

17 Apr 2024


Telefónica Germany
Telefónica Germany
Telecommunications
Telefónica Germany
Telecommunications
Other

31 Oct 2023


Accenture
Accenture
Consulting, audit, Business Consulting and Services
Accenture
Consulting, audit, Business Consulting and Services
Other

31 Dec 2023


Slush
Slush
Non-profit Organizations
Slush
Non-profit Organizations
Other

30 Nov 2023


Similar entities
Loading...
Loading...
Social network dynamics