Detail publikace

Control Flow Analysis for Bottom-up Portable Models Creation

BARDONEK, P. ZACHARIÁŠOVÁ, M.

Originální název

Control Flow Analysis for Bottom-up Portable Models Creation

Typ

článek ve sborníku mimo WoS a Scopus

Jazyk

angličtina

Originální abstrakt

Portable Test and Stimulus Standard (PSS) is a game-changing standard in the simulation-based verification. This paper focuses on creating a top-level PSS model of the design under verification (DUV) using PSS models of its components (submodels). This is one of the most challenging problems the PSS is currently facing, and it is called vertical reuse of portable models. The hardest part is to create proper constraints for the interconnection of submodels to represent behaviour intended to be verified. This paper aims to evaluate a hypothesis that with the analysis of the control flow inside the DUV, we can significantly simplify the reusability of PSS models in the vertical direction. We believe that the control flow analysis will provide valuable information for creating constraints, as the control signals influence the DUV's behaviour the most. As the DUV, we selected the execution stage subsystem of the PULP platform processor. Firstly, we have created PSS models for all components inside this subsystem. Then we traced the control signals of all these components and created a map of dependencies from the subsystem point of view. Afterwards, we used this analysis to create constraints for the component-level PSS models while interconnecting them to the top-level PSS model.

Klíčová slova

PSS, portable stimuli, portable models, simulation-based verification

Autoři

BARDONEK, P.; ZACHARIÁŠOVÁ, M.

Vydáno

15. 11. 2023

Nakladatel

VDE VERLAG

Místo

Mnichov

ISBN

978-3-8007-6205-7

Kniha

DVCon Europe 2023; Design and Verification Conference and Exhibition Europe

Strany od

65

Strany do

70

Strany počet

6

URL

https://www.fit.vut.cz/research/publication/13024/

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/"
}