Detail publikace
Fast Cycle-Accurate Interpreted Simulation
Masařík Karel, Ing., Ph.D. (CSC)
Hruška Tomáš, prof. Ing., CSc. (UIFS)
Husár Adam, Ing., Ph.D.
Hardware/softwareco-design; ASIP; Jazyk pro popis architektury; Interpretovaná simulace na úrovni cyklů; Formální modely.
Oblast hardware/softwareco-designu se zabývá návrhem ASIPů (Aplikačně specifickýchprocesorů), protože často tvoří jádro vestavěných systémů.Vestavěné systémy s ASIPy jsou navrhovány pro specializovanoučinnost a proto musí splňovat několik kriterií, jako je spotřebanebo velikost čipu. Úspěch návrhu je úzce svázán s existencídobrých nástrojů pro jejich návrh, jako jsou nástroje pro jejichprogramování a simulaci. Obzvlášť důležitá je simulace,protože pomocí ní je možné ověřit vlastnosti návrhu. Z tohotodůvodu bývá ASIP popsán pomocí jazyka pro pro popisarchitektury. To umožňuje automatické generování nástrojů projejich programováni a simulaci. V tomto příspěvku se zaměřujemena principy, které jsou použity v naší rychlé interpretovanésimulaci na úrovni cyklů. Kromě rychlosti simulace se takézaměříme na zajištění ekvivalence mezi simulátorem ahardwarovou realizaci ASIP.
@inproceedings{BUT30917,
author="Zdeněk {Přikryl} and Karel {Masařík} and Tomáš {Hruška} and Adam {Husár}",
title="Fast Cycle-Accurate Interpreted Simulation",
booktitle="Tenth International Workshop on Microprocessor Test and Verification: Common Challenges and Solutions",
year="2009",
pages="9--14",
publisher="IEEE Computer Society Press",
address="Austin",
isbn="978-0-7695-4000-9"
}