# LUBIS EDA

> Dienstleister für Formal-Verification-Sign-Off kritischer digitaler IP-Blöcke und SoCs mit strukturiertem Delivery-Modell

## Auf einen Blick

- **Ort:** Deutschland (Hauptsitz)
- **Website:** https://lubis-eda.com/
- **Mitarbeiter:** 50+
- **Verfahren:** Formal Verification Sign-Off (digitale Schaltungs-/IP-Verifikation als Dienstleistung), Formal Verification Sign-Off für digitale IP und SoCs, Formal Sign-Off Plan und Scope-Definition, Property-Plan sowie Assumptions/Constraints-Ansatz, Coverage- und Convergence-Tracking, Ergebnisdokumentation / Sign-Off-Report, Wiederverwendbare Verification-Artefakte, Integration formaler Verifikationsergebnisse in Regression-Flows, Engagement-Modelle: Fixed (scope-based) und Subscription (time-based, garantierte Kapazität)
- **Werkstoffe:** Formal Verification Sign-Off, Property-Plan & Assumptions/Constraints, Coverage- & Convergence-Tracking, Sign-Off-Report & Artefakte
- **Zertifikate:** Formeller Sign-Off-Report, Coverage- & Convergence-Tracking
- **Branchen:** Halbleiter / EDA, Digitales IP- und SoC-Design, Fortune-25-Kunden (größte Weltkonzerne)
- **Profil:** https://amplifa-marketplace.com/anbieter/lubis-eda

## Über uns

LUBIS EDA ist ein auf formale Verifikation spezialisierter Engineering-Dienstleister für digitale IP-Blöcke und SoCs. Das Unternehmen unterstützt RTL-Teams dabei, Zeitplanrisiken zu reduzieren und simulationsresistente Corner-Case-Fehler aufzudecken, die mit klassischen Testbench-Ansätzen schwer erreichbar sind. Das Angebot umfasst den Formal-Verification-Sign-Off als Dienstleistung: Definition des Sign-Off-Plans und des Scopes, Property-Plan mit Assumptions- und Constraints-Ansatz, Coverage- und Convergence-Tracking, Ergebnisdokumentation sowie wiederverwendbare Verification-Artefakte. Das Delivery-Modell folgt einem systematisierten Ablauf aus Discover, Plan, Prep, Execute und Sign-off; zusätzlich werden formale Verifikationsergebnisse in die Regression-Flows der Kunden integriert. Das Team von über 50 Vollzeitkräften arbeitet vollständig in Deutschland und verfügt über Tool-Kenntnisse in Cadence-, Synopsys- und Siemens-EDA-Umgebungen. Es werden zwei Engagement-Modelle angeboten: Fixed (scope-basiert, Turn-key-Sign-off) und Subscription (zeitbasiert mit garantierter Kapazität). Kunden sind unter anderem fünf Fortune-25-Konzerne sowie mehr als 15 Wiederholkunden.

## Verfahren & technische Grenzen

- Formal Verification Sign-Off (digitale Schaltungs-/IP-Verifikation als Dienstleistung)

## Standorte

- Deutschland (Hauptsitz) – Hauptsitz / Engineering-Team

## Historie

- : Über 6 Jahre Unternehmensrecord
- : 325+ abgeschlossene Formal-Verification-Projekte mit 900+ nach UVM aufgedeckten Design-Bugs