Publication Details

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.
Czech title
Analýza Řídícího Toku pro Tvorbu Portovatelných Modelů Zdola-nahoru
Type
conference paper
Language
English
Authors
Bardonek Petr, Ing. (DCSY)
Zachariášová Marcela, Ing., Ph.D. (DCSY)
Keywords

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

Abstract

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.

Published
2023
Pages
65–70
Proceedings
DVCon Europe 2023; Design and Verification Conference and Exhibition Europe
Conference
The Design and Verification Conference Europe, Mnichov, DE
ISBN
978-3-8007-6205-7
Publisher
VDE VERLAG
Place
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/"
}
Files
Back to top