Mixed signal circuit verification using symbolic model checking techniquesAlexander JesserÉpuisé4,3Prévenez-moi
