Leistungszustandabdeckungsmessgrösse und Verfahren zu dessen Schätzung

摘要

In einigen Ausführungsformen werden in einem Verfahren zum Schätzen einer Gesamt-Leistungszustandsabdeckung eines Electronic System Level(ESL)-Modells, das durch mindestens einen Prozessor ausgeführt wird, ein erster Wert und ein zweiter Wert für jeden Block eingestellt. Mindestens ein Verifizierungsfall wird für jeden Block in dem ESL-Modell ausgewählt. Für jeden des mindestens einen Verifizierungsfalls: (a) wird ein Soll-Abdeckungswert eingestellt, (b) wird eine Register Transfer Level(RTL)-Simulation ausgeführt, (c) wird ein Ist-Abdeckungswert empfangen, und (d) wird der erste Wert oder der zweite Wert auf der Basis dessen aktualisiert, ob der Ist-Abdeckungswert kleiner ist als der Soll-Abdeckungswert oder nicht. Eine Leistungszustandsabdeckung wird für jeden Block berechnet. Die Gesamt-Leistungszustandsabdeckung wird für das ESL-Modell berechnet.