Detail publikace

Control Flow Analysis for Bottom-up Portable Models Creation

BARDONEK, P.; ZACHARIÁŠOVÁ, M. Control Flow Analysis for Bottom-up Portable Models Creation. DVCon Europe 2023; Design and Verification Conference and Exhibition Europe. Mnichov: VDE VERLAG, 2023. p. 65-70. ISBN: 978-3-8007-6205-7.
Název česky
Analýza Řídícího Toku pro Tvorbu Portovatelných Modelů Zdola-nahoru
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Klíčová slova

PSS, portovatelné stimuly, portovatelné modely, verifikace založená na simulaci

Abstrakt

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.

Rok
2023
Strany
65–70
Sborník
DVCon Europe 2023; Design and Verification Conference and Exhibition Europe
Konference
The Design and Verification Conference Europe, Mnichov, DE
ISBN
978-3-8007-6205-7
Vydavatel
VDE VERLAG
Místo
Mnichov
BibTeX
@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/"
}
Soubory
Nahoru