Detail publikace

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

BARDONEK Petr a ZACHARIÁŠOVÁ Marcela. 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, s. 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
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, 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
Konference
2020 23rd International Symposium on Design and Diagnostics of Electronic Circuits and Systems, Novi Sad, RS
ISBN
978-1-7281-9938-2
Vydavatel
Institute of Electrical and Electronics Engineers
Místo
Novi Sad, RS
DOI
10.1109/DDECS50862.2020.9095708
UT WoS
000587761500022
EID Scopus
2-s2.0-85085863404
BibTeX 
@INPROCEEDINGS{FITPUB12195,
   author = "Petr Bardonek and Marcela Zachari\'{a}\v{s}ov\'{a}",
   title = "Using Control Logic Drivers for Automated Generation of System-level Portable Models",
   pages = "1--4",
   booktitle = "23rd International Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2020",
   year = 2020,
   location = "Novi Sad, RS",
   publisher = "Institute of Electrical and Electronics Engineers",
   ISBN = "978-1-7281-9938-2",
   doi = "10.1109/DDECS50862.2020.9095708",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/12195"
}
Nahoru