Electrical Rule Checking of Integrated Circuits using Satisfiability Modulo Theory - VERIMAG Accéder directement au contenu
Communication Dans Un Congrès Année : 2022

Electrical Rule Checking of Integrated Circuits using Satisfiability Modulo Theory

Résumé

We consider the verification of electrical properties of circuits to identify potential violations of electrical design rules, also called Electrical Rule Checking (ERC). We present a general approach based on Satisfiability Modulo Theory (SMT) to verify that these errors cannot occur in a given circuit. We claim that our approach is scalable and more precise than existing analyses, like voltage propagation. We applied these techniques to a specific type of errors, the missing level shifters. On an industrial casestudy, our technique is able to flag 31% of the warnings raised by the voltage propagation analysis as being false alarms.
Fichier principal
Vignette du fichier
date2023.pdf (109.31 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04007446 , version 1 (28-02-2023)

Identifiants

  • HAL Id : hal-04007446 , version 1

Citer

Bruno Ferres, Oussama Oulkaid, Ludovic Henrio, Mehdi Khosravian, Matthieu Moy, et al.. Electrical Rule Checking of Integrated Circuits using Satisfiability Modulo Theory. DATE 2023 - Design, Automation and Test in Europe Conference, Apr 2023, Anvers (Antwerpen), Belgium. ⟨hal-04007446⟩
126 Consultations
195 Téléchargements

Partager

Gmail Facebook X LinkedIn More