Articles | Volume 1
https://doi.org/10.5194/ars-1-177-2003
https://doi.org/10.5194/ars-1-177-2003
05 May 2003
05 May 2003

Verringerung des Parameterraums von IP unter Verwendung von Parameterabhängigkeiten

V. Jerinić and D. Müller

Abstract. Um eine Wiederverwendung in verschiedenen Anwendungen zu ermöglichen, verfügen Intellectual Properties (IP) häufig über einen umfangreichen Parametersatz. Auf der einen Seite erlaubt die extensive Verwendung von Parametern die Anpassung von IP an verschiedene Spezifikationen. Andererseits vergrößert jeder Parameter den Parameterraum, wodurch es praktisch unmöglich wird, die korrekte Funktion der IP für alle Parameterkombinationen zu verifizieren. Es wird eine Methode vorgestellt, die, basierend auf vorgegebenen Abhängigkeiten der Parameter untereinander, den Parameterraum in orthogonale Subräume, sogenannte Parameter-Domänen, unterteilt, wobei ungültige Parameterkombinationen entfernt werden. Durch diesen Schritt kann der Parameterraum zum Teil erheblich verkleinert werden. Durch die Verwendung von orthogonalen Subräumen werden Verifikationsumgebungen, wie z.B. Specman EliteTM von Verisity, die Stimuli und Parameterzuweisungen pseudozufällig erzeugen k¨onnen, wirkungsvoll unterstützt, indem mehrfache Simulationen gleichwertiger Zuweisungen verhindert werden.

In order to be reused in different applications IP are usually parameterized.While a rich parameter set enables users to customize IP to their needs, verification complexity is increased by enlarging the parameter space with every additional parameter. In this work, a graph-based approach to splitting the parameter space into orthogonal subspaces on the basis of defined parameter interdependences is proposed. By utilizing so-called parameter domain graphs, invalid parameter configurations are removed from the parameter space. Verification environments with the capability to automatically generate pseudo-random parameter combinations, e.g. Specman EliteTM von Verisity, may create parameter combinations which are virtually equal. This can be avoided by using orthogonal subspaces.