Key points are not available for this paper at this time.
De nos jours, la majorité des systèmes sur puce (SoC) utilisent de la propriété intellectuelle (PI) afin de raccourcir les cycles de développement. Lorsque ces PI sont développées, l'un des principaux objectifs est la haute configurabilité du design. Cette flexibilité du côté de la conception introduit le défi de couvrir un espace d'états énorme des configurations de PI du côté de la vérification pour assurer la conformité fonctionnelle sous chaque paramètre possible. Le nombre énorme de possibilités ne permet pas une approche par force brute, et c'est pourquoi, généralement, seul un nombre sélectionné de réglages basé sur des hypothèses typiques et extrêmes est vérifié. En particulier dans les applications automobiles, qui doivent respecter la norme de sécurité fonctionnelle ISO 26262, l'exigence de couvrir toutes les variantes significatives doit être remplie dans tous les cas. Les techniques de vérification de pointe existantes, telles que la vérification par simulation et la vérification formelle, présentent des défis tels que l'explosion en temps et en espace, respectivement, et, par conséquent, sont à la traîne dans la vérification efficace des conceptions numériques hautement configurables. Cet article se concentre sur une méthodologie de vérification semi-formelle pour une couverture de configuration efficace des conceptions numériques hautement configurables. La méthodologie met l'accent sur une durée d'exécution réduite basée sur des méthodes simulatives et formelles qui permettent une large couverture de configuration. L'article présente également les résultats obtenus lorsque la méthodologie développée a été appliquée à une PI de microprocesseur hautement configurable et discute des avantages obtenus.
Kumar et al. (Sat,) ont étudié cette question.