LUBIS EDA ist ein spezialisiertes Ingenieurunternehmen mit Fokus auf Formale Verifikationsdienstleistungen für digitale Halbleiterdesigns. LUBIS EDA unterstützt Chipentwicklungsteams dabei, die Korrektheit komplexer digitaler IP- und SoC-Komponenten bereits vor der Fertigung (Silicon) sicherzustellen, indem rigorose mathematische Verifikationsmethoden eingesetzt werden.
Das Team besteht aus spezialisierten Experten für formale Verifikation, die eng mit Design- und Verifikationsteams zusammenarbeiten. Sie bringen strukturierte Methoden und wiederverwendbare Verifikationskomponenten ein, entwickeln skalierbare Verifikationsstrategien, erstellen Assertion-basierte Verifikationsumgebungen und führen Projekte zuverlässig bis zum Sign-off. Der exklusive Fokus auf formale Verifikation ermöglicht tiefgehende Expertise in anspruchsvollen Bereichen wie komplexer Kontrolllogik, Datenpfad-Verifikation und Speichersystemen.
LUBIS EDA unterstützt Halbleiterunternehmen von innovativen Start-ups bis hin zu großen internationalen Technologieunternehmen. Die Dienstleistungen helfen Kunden dabei, kritische Designfehler früher im Entwicklungsprozess zu erkennen, den Verifikationsaufwand zu reduzieren und die Robustheit von Designs insgesamt zu verbessern.
Neben der Projektdurchführung bietet LUBIS EDA auch Trainingsprogramme an, die Teams dabei unterstützen, formale Verifikation effektiv in ihre Entwicklungsprozesse zu integrieren.
Die Mission ist einfach: Formale Verifikation zu einer praktischen und skalierbaren Grundlage für zuverlässiges Chipdesign zu machen.
Die auf dieser Seite angegebenen Informationen liegen in der Verantwortung des jeweiligen Chipdesign Germany Mitglieds.
