Wie lösen Cadence Coverage-Befehle den manuellen Aufwand bei der Abdeckungsübung?
Der Abdeckungsgrad wird traditionell als vertrauensbildende Kennzahl verwendet, und die Qualität der Verifizierung wird anhand dieses Wertes gemessen. Der Abdeckungsgrad dient als Sicherheitsnetz, um sicherzustellen, dass das Design gründlich verifiziert wird, und um den Fortschritt des Verifikationsprozesses zu verfolgen. Bei der Verifikation eines komplexen SoC (System on Chip) oder IP (Intellectual Property) investieren wir die meiste Zeit in andere Verifikationsphasen wie Planung, Entwicklung und Debugging. Im Allgemeinen haben wir Mühe, die Abdeckungszahlen zu erreichen. Der Zweck dieses Artikels ist es, einige versteckte, aber nützliche Abdeckungsbefehle hervorzuheben, die vom Cadence IMC-Tool unterstützt werden und die helfen können, den Abdeckungsabschluss zu erleichtern und zu beschleunigen.
