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.
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"
}