Detail publikace

Control Flow Analysis for Bottom-up Portable Models Creation

BARDONEK Petr a ZACHARIÁŠOVÁ Marcela. Control Flow Analysis for Bottom-up Portable Models Creation. In: DVCon Europe 2023; Design and Verification Conference and Exhibition Europe. Mnichov: VDE VERLAG, 2023, s. 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
angličtina
Autoři
Bardonek Petr, Ing. (UPSY FIT VUT)
Zachariášová Marcela, Ing., Ph.D. (UPSY FIT VUT)
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, DE
BibTeX 
@INPROCEEDINGS{FITPUB13024,
   author = "Petr Bardonek and Marcela Zachari\'{a}\v{s}ov\'{a}",
   title = "Control Flow Analysis for Bottom-up Portable Models Creation",
   pages = "65--70",
   booktitle = "DVCon Europe 2023; Design and Verification Conference and Exhibition Europe",
   year = 2023,
   location = "Mnichov, DE",
   publisher = "VDE VERLAG",
   ISBN = "978-3-8007-6205-7",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/13024"
}
Nahoru