摘要 |
Computerimplementiertes System und Verfahren zum Identifizieren von nützlichen ungetesteten Zuständen eines elektronischen Designs, mit Parsen von mindestens einer Netzliste einer Darstellung des elektronischen Designs, das zumindest in einem Teil mindestens einen analogen Bereich hat, Bestimmen von mindestens einem Instrumentierungspunkt basierend auf der mindestens einen Netzliste, Erzeugen von mindestens einer instrumentierten Netzliste basierend auf dem mindestens einen Instrumentierungspunkt, und Bestimmen einer analogen Verifizierungs-Abdeckung unter Verwendung der mindestens einen instrumentierten Netzliste. |