Techniken zur nachweislich vollständigen Verifikation von komplexen Schaltungen – neue Ansätze und Erfahrungen
Conference: Zuverlässigkeit und Entwurf - 3. GMM/GI/ITG-Fachtagung
09/21/2009 - 09/23/2009 at Stuttgart, Germany
Proceedings: Zuverlässigkeit und Entwurf
Pages: 8Language: germanTyp: PDF
Personal VDE Members are entitled to a 10% discount on this title
Authors:
Formann, Johannes; Kimmeskamp, Thorsten; Echtle, Klaus; Tappe, Dominik (Universität Duisburg-Essen, Arbeitsgruppe Verlässlichkeit von Rechensystemen, 45141 Essen, Germany)
Weinberger, Katharina; Bulach, Slava; Mittag, Maximilian (Robert Bosch GmbH, GB Automotive Electronics, 72703 Reutlingen, Germany)
Abstract:
Entwurfsfehler in Chips oder IP-Modulen können erheblichen wirtschaftlichen Schaden nach sich ziehen. Mittels vollständiger formaler Verifikation lassen sich diese rechtzeitig entdecken und damit beheben, bevor sie einen Schaden verursachen. In diesem Papier werden zwei verschiedene Vorgehensmodelle vorgestellt, um werkzeugunterstützt ein Modul vollständig zu verifizieren. Die mit diesen Vorgehensweisen gesammelten Erfahrungen werden präsentiert und diskutiert.