Verringerung des Parameterraums von IP unter Verwendung von Parameterabhängigkeiten

Abstract. Um eine Wiederverwendung in verschiedenen Anwendungen zu ermoglichen, verfugen Intellectual Properties (IP) haufig uber einen umfangreichen Parametersatz. Auf der einen Seite erlaubt die extensive Verwendung von Parametern die Anpassung von IP an verschiedene Spezifikationen. Andererseits vergrosert jeder Parameter den Parameterraum, wodurch es praktisch unmoglich wird, die korrekte Funktion der IP fur alle Parameterkombinationen zu verifizieren. Es wird eine Methode vorgestellt, die, basierend auf vorgegebenen Abhangigkeiten der Parameter untereinander, den Parameterraum in orthogonale Subraume, sogenannte Parameter-Domanen, unterteilt, wobei ungultige Parameterkombinationen entfernt werden. Durch diesen Schritt kann der Parameterraum zum Teil erheblich verkleinert werden. Durch die Verwendung von orthogonalen Subraumen werden Verifikationsumgebungen, wie z.B. Specman Elite TM von Verisity , die Stimuli und Parameterzuweisungen pseudozufallig erzeugen k¨onnen, wirkungsvoll unterstutzt, 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 Elite TM von Verisity , may create parameter combinations which are virtually equal. This can be avoided by using orthogonal subspaces.