Publication Details

Instruction Pipeline Modeling using Petri Nets

HUSÁR Adam, HRUŠKA Tomáš, MASAŘÍK Karel and PŘIKRYL Zdeněk. Instruction Pipeline Modeling using Petri Nets. In: 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, pp. 163-164. ISBN 978-972-8692-55-1.
Czech title
Modelování instrukčních linek pomocí Petriho sítí
Type
conference paper
Language
english
Authors
Husár Adam, Ing., Ph.D., MBA (RCIT FIT BUT)
Hruška Tomáš, prof. Ing., CSc. (DIFS FIT BUT)
Masařík Karel, Ing., Ph.D. (DIFS FIT BUT)
Přikryl Zdeněk, Ing., Ph.D. (DIFS FIT BUT)
Keywords

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

Abstract

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

Annotation

This paper deals with instruction pipeline modeling using Petri Nets. Such model would be useful for processor pipeline design, verification and also for instruction scheduling in C compiler backend. This paper presents ongoing work and mainly states what requirements we have on such model.

Published
2010
Pages
163-164
Proceedings
Proceedings of the International Workshop on Petri Nets and Software Engineering - PNSE'10
Series
Proceedings of the International Workshop on Petri Nets and Software
Conference
International Workshop on Petri Nets and Software Engineering 2010, Braga, PT
ISBN
978-972-8692-55-1
Publisher
Technical Universityt Hamburg-Harburg
Place
Universität Hamburg, DE
BibTeX 
@INPROCEEDINGS{FITPUB9271,
   author = "Adam Hus\'{a}r and Tom\'{a}\v{s} Hru\v{s}ka and Karel Masa\v{r}\'{i}k and Zden\v{e}k P\v{r}ikryl",
   title = "Instruction Pipeline Modeling using Petri Nets",
   pages = "163--164",
   booktitle = "Proceedings of the International Workshop on Petri Nets and Software Engineering - PNSE'10",
   series = "Proceedings of the International Workshop on Petri Nets and Software",
   year = 2010,
   location = "Universit{\"{a}}t Hamburg, DE",
   publisher = "Technical Universityt Hamburg-Harburg",
   ISBN = "978-972-8692-55-1",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/9271"
}
Back to top