Detail publikace

Automated Functional Verification of Application Specific Instruction-set Processors

ZACHARIÁŠOVÁ, M.; PŘIKRYL, Z.; HRUŠKA, T.; KOTÁSEK, Z. Automated Functional Verification of Application Specific Instruction-set Processors. IFIP Advances in Information and Communication Technology, 2013, vol. 4, no. 403, p. 128-138. ISSN: 1868-4238.
Název česky
Automatická verifikace aplikačně specifických instrukčních procesorů
Typ
článek v časopise
Jazyk
anglicky
Autoři
Zachariášová Marcela, Ing., Ph.D. (UPSY)
Přikryl Zdeněk, Ing., Ph.D.
Hruška Tomáš, prof. Ing., CSc. (UIFS)
Kotásek Zdeněk, doc. Ing., CSc.
Klíčová slova

funkční verifikace OVM aplikačně specifické instrukční procesory EDA nástroje

Abstrakt

Dnešní trh je citlivý na dobu vývoje produktů. Mezi tyto produkty patří i aplikačně specifické instrukční procesory (ASIP), které jsou součástí řady vestavěných systémů. Doba vývoje procesorů je však značně ovlivněna dobou testování a verifikace, které jsou časově náročné. Z toho důvodu je nutné hledat nové techniky, jak zefektivnit a urychlit proces verifikace. Cílem tohoto článku je představění automatického generování verifikačních prostředí v jazyce SystemVerilog pro ASIP procesory. Výsledky experimentů prokazují, že tento přístup výrazně znižuje čas potřebný na přípravu verifikačních prostředí a tím zefektivňuje proces verifikace.

Rok
2013
Strany
128–138
Časopis
IFIP Advances in Information and Communication Technology, roč. 4, č. 403, ISSN 1868-4238
Kniha
Embedded Systems: Design, Analysis and Verification
Vydavatel
Springer Verlag
Místo
Berlin Heidelberg
DOI
10.1007/978-3-642-38853-8
BibTeX 
@article{BUT103464,
  author="Marcela {Zachariášová} and Zdeněk {Přikryl} and Tomáš {Hruška} and Zdeněk {Kotásek}",
  title="Automated Functional Verification of Application Specific Instruction-set Processors",
  journal="IFIP Advances in Information and Communication Technology",
  year="2013",
  volume="4",
  number="403",
  pages="128--138",
  doi="10.1007/978-3-642-38853-8",
  issn="1868-4238"
}
Nahoru