Ich habe die covfile und select_functional Befehl in den laufenden Optionen der Regression, und die Coverage-Gruppen angezeigt, aber ich kann die Assertionen in IMC nicht sehen, um sie abzubilden. Wenn ich einen Test ausführe und den Covfile-Befehl gebe, funktioniert es, aber auf Regressionen funktioniert es nicht.Kann Assertionen/funktionale Abdeckung in der Umgebung nicht sehen
Der covfile-Befehl sollte in den run_options der Regression, aber auch in den run_options des Kompilierungsskripts sein.
Ich nehme an, Sie verwenden Cadence irun, da Sie IMC erwähnt. Ich nehme auch an, dass Sie vManager als Ihr Regressionstool verwenden. Warum die Abdeckung nicht in der Regression ucd angezeigt wird, vermute ich, dass Sie nicht den gleichen Snapshot in der Regression verwenden, wie Sie die Simulation lokal ausführen, die einen Snapshot mit der covfile on the fly erstellen. Überprüfen Sie Ihre irun.log, sehen Sie, welchen Snapshot sie verwendet. Überprüfen Sie dann die Argumente für die Ausarbeitung dieses Snapshots (die Sie unter dem Verzeichnis .INCA_lib/finden können, um festzustellen, ob der Snapshot aktiviert ist. (-coverover)
Konnte die Frage nicht verstehen Single Run, erhalten Sie alle Daten der funktionalen Abdeckung, aber in der Regression, bekommen Sie es nicht? –
Ja. Die funktionale Abdeckung ist nicht für Regressionen aktiviert, obwohl ich die gleiche covfile wie für den einzelnen Lauf verwenden. –
Mai es kann ein Problem mit Ihren Regressionsbefehlen geben? Es kann nicht passieren, dass die für die funktionale Abdeckung in der Regression geschaltet wird. Können Sie bestätigen, ob alle erforderlichen Switches bestanden wurden oder nicht? –