Detail publikace

Using Control Logic Drivers for Automated Generation of System-level Portable Models

BARDONEK, P.; ZACHARIÁŠOVÁ, M. Using Control Logic Drivers for Automated Generation of System-level Portable Models. In 23rd International Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2020. Novi Sad: Institute of Electrical and Electronics Engineers, 2020. p. 1-4. ISBN: 978-1-7281-9938-2.
Název česky
Použití řídícího toku kontrolní logiky pro automatické generování portovatelných modelů na systémovou úrovni
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Bardonek Petr, Ing. (UPSY)
Zachariášová Marcela, Ing., Ph.D. (UPSY)
Klíčová slova

PSS, portovatelné stimuly, portovatelné modely, Univerzální Verifikační Metodika (UVM)

Abstrakt

Portable Test and Stimulus Standard je nový standard pro abstraktní definici verifikačního záměru, který může být použit pro generování stimulů pro různé verifikační prostředí a na různých úrovních hierarchie návrhu. Navzdory jasné myšlence za standardem a jeho pozitivním přijetím, je zde stále hodně práce pro provedení magie v interpretačních nástrojích. V tomto článku se zaměřujeme na vertikální znovupoužitelnost portovatelných modelů, která je v podstatě o adaptaci portovatelných modelů pro blokovou úroveň návrhů na portovatelné modely pro podsystémovou nebo systémovou úroveň. Tato adaptace je obvykle založena na manuální definici omezení sdílení zdrojů a kontroly (pod)systémové úrovně. Náš cíl je definovat algoritmy, které provedou změnu portovatelných modelů tak, aby byla automaticky přidána omezení nebo, aby byly vytvořeny návrhy pro uživatele. V našich prvních experimentech se zaměřujeme na budování kontrolních omezení založeném na řídícím toku kontrolních vstupů extrahovaném z návrhu na úrovni podsystému. Naše první výsledky prezentujme na jednotce s plovoucí řádovou čárkou a na podsystému založeném na RISC-V, protože poskytují jasnou reprezentaci pro vertikální znovupoužitelnost.

Rok
2020
Strany
1–4
Sborník
23rd International Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2020
ISBN
978-1-7281-9938-2
Vydavatel
Institute of Electrical and Electronics Engineers
Místo
Novi Sad
DOI
10.1109/DDECS50862.2020.9095708
UT WoS
000587761500022
EID Scopus
2-s2.0-85085863404
BibTeX 
@inproceedings{BUT168123,
  author="Petr {Bardonek} and Marcela {Zachariášová}",
  title="Using Control Logic Drivers for Automated Generation of System-level Portable Models",
  booktitle="23rd International Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2020",
  year="2020",
  pages="1--4",
  publisher="Institute of Electrical and Electronics Engineers",
  address="Novi Sad",
  doi="10.1109/DDECS50862.2020.9095708",
  isbn="978-1-7281-9938-2",
  url="https://www.fit.vut.cz/research/publication/12195/"
}
Nahoru