Detail publikace
Control Flow Analysis for Bottom-up Portable Models Creation
PSS, portovatelné stimuly, portovatelné modely, verifikace založená na simulaci
Portable Stimulus Standard (PSS) je potenciálně standard měnící hru v oblasti
verifikace založené na simulaci. Tento článek je zaměřen na tvorbu top-level PSS
modelu pro verifikovaný návrh (DUV) s využitím PSS modelů jeho komponent
(submodely). Toto je jeden z nejnáročnějších problémů, se kterými se PSS
v současnosti potýká, a nazývá se vertikální znovupoužitelnost portovatelných
modelů. Nejtěžší je vytvořit správná omezení pro propojení submodelů, aby
reprezentovaly chování, které má být ověřeno. Tento článek si klade za cíl
vyhodnotit hypotézu, že pomocí analýzy řídicího toku uvnitř DUV můžeme výrazně
zjednodušit znovupoužitelnost modelů PSS ve vertikálním směru. Věříme, že analýza
řídicího toku poskytne cenné informace pro vytváření omezení, protože řídicí
signály nejvíce ovlivňují chování DUV. Jako DUV jsme vybrali subsystém prováděcí
fáze procesoru platformy PULP. Nejprve jsme vytvořili PSS modely pro všechny
komponenty v tomto subsystému. Poté jsme sledovali řídicí signály všech těchto
komponent a vytvořili mapu závislostí z pohledu subsystému. Poté jsme tuto
analýzu použili k vytvoření omezení pro propojení PSS modelů z komponentní úrovně
do PSS modelu na topové úrovni.
@inproceedings{BUT188423,
author="Petr {Bardonek} and Marcela {Zachariášová}",
title="Control Flow Analysis for Bottom-up Portable Models Creation",
booktitle="DVCon Europe 2023; Design and Verification Conference and Exhibition Europe",
year="2023",
pages="65--70",
publisher="VDE VERLAG",
address="Mnichov",
isbn="978-3-8007-6205-7",
url="https://www.fit.vut.cz/research/publication/13024/"
}