Detail publikace

Instruction Pipeline Modeling using Petri Nets

HUSÁR, A.; HRUŠKA, T.; MASAŘÍK, K.; PŘIKRYL, Z. Instruction Pipeline Modeling using Petri Nets. Proceedings of the International Workshop on Petri Nets and Software Engineering - PNSE'10. Proceedings of the International Workshop on Petri Nets and Software. Universität Hamburg: Technical Universityt Hamburg-Harburg, 2010. p. 163-164. ISBN: 978-972-8692-55-1.
Název česky
Modelování instrukčních linek pomocí Petriho sítí
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Husár Adam, Ing., Ph.D.
Hruška Tomáš, prof. Ing., CSc. (UIFS)
Masařík Karel, Ing., Ph.D. (CK-SDZ)
Přikryl Zdeněk, Ing., Ph.D.
Klíčová slova

Petri Nets, ISAC, Lissom, pipeline modeling, instruction pipeline, microarchitecture

Abstrakt

Tento článek popisuje modelování instrukčních linek pomocí Petriho sítí s cílem nalézt vhodný formalizmus pro jejich popis.

Anotace

Tento článek popisuje modelování instrukčních linek pomocí Petriho sítí. Takový model je vhodný pro návrh a verifikaci instrukčních linek a pro získání informací pro plánovač instrukcí v backendu překladače. Článek popisuje průběžnou práci a především stanovuje požadavky na takový model.

Rok
2010
Strany
163–164
Sborník
Proceedings of the International Workshop on Petri Nets and Software Engineering - PNSE'10
Řada
Proceedings of the International Workshop on Petri Nets and Software
ISBN
978-972-8692-55-1
Vydavatel
Technical Universityt Hamburg-Harburg
Místo
Universität Hamburg
BibTeX 
@inproceedings{BUT34421,
  author="Adam {Husár} and Tomáš {Hruška} and Karel {Masařík} and Zdeněk {Přikryl}",
  title="Instruction Pipeline Modeling using Petri Nets",
  booktitle="Proceedings of the International Workshop on Petri Nets and Software Engineering - PNSE'10",
  year="2010",
  series="Proceedings of the International Workshop on Petri Nets and Software",
  pages="163--164",
  publisher="Technical Universityt Hamburg-Harburg",
  address="Universität Hamburg",
  isbn="978-972-8692-55-1"
}
Nahoru