Publication Details

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.
Czech title
Modelování instrukčních linek pomocí Petriho sítí
Type
conference paper
Language
English
Authors
Husár Adam, Ing., Ph.D.
Hruška Tomáš, prof. Ing., CSc. (DIFS)
Masařík Karel, Ing., Ph.D. (CM-SDE)
Přikryl Zdeněk, Ing., Ph.D.
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
ISBN
978-972-8692-55-1
Publisher
Technical Universityt Hamburg-Harburg
Place
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"
}
Back to top