Detail výsledku

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.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Husár Adam, Ing., Ph.D., UIFS (FIT)
Hruška Tomáš, prof. Ing., CSc., UIFS (FIT)
Masařík Karel, Ing., Ph.D., UIFS (FIT)
Přikryl Zdeněk, Ing., Ph.D., UIFS (FIT)
Abstrakt

This paper deals with instruction pipeline modeling using Petri Nets with the goal of finding suitable formalism for their description.

Klíčová slova

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

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
Konference
International Workshop on Petri Nets and Software Engineering 2010
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"
}
Projekty
Jazyk a vývojové prostředí pro návrh mikroprocesoru, MPO, TANDEM, FT-TA3/128, zahájení: 2006-01-01, ukončení: 2010-06-30, ukončen
Matematické a inženýrské metody pro vývoj spolehlivých a bezpečných paralelních a distribuovaných počítačových systémů, GAČR, Doktorské granty, GD102/09/H042, zahájení: 2009-01-30, ukončení: 2012-12-31, ukončen
Rozpoznávání a prezentace informací z multimediálních dat, VUT, Vnitřní projekty VUT, FIT-S-10-2, 2010, zahájení: 2010-04-01, ukončení: 2010-12-31, ukončen
Systém pro programování a realizaci vestavěných systémů, MPO, TIP, FR-TI1/038, zahájení: 2009-07-01, ukončení: 2013-06-30, ukončen
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-01-01, ukončení: 2013-12-31, řešení
Výzkumné skupiny
Výzkumná skupina Hardware-Software Codesign (VZ LISSOM)
Pracoviště
Ústav informačních systémů (UIFS)
Nahoru