Conference paper

HUSÁR, A., HRUŠKA, T., MASAŘÍK, K. and PŘIKRYL, Z.. Instruction Pipeline Modeling using Petri Nets. In: Proceedings of the International Workshop on Petri Nets and Software Engineering - PNSE'10. Universität Hamburg: Technical Universityt Hamburg-Harburg, 2010, pp. 163-164. ISBN 978-972-8692-55-1.
Publication language:english
Original title:Instruction Pipeline Modeling using Petri Nets
Title (cs):Modelování instrukčních linek pomocí Petriho sítí
Pages:163-164
Proceedings:Proceedings of the International Workshop on Petri Nets and Software Engineering - PNSE'10
Conference:International Workshop on Petri Nets and Software Engineering 2010
Series:Proceedings of the International Workshop on Petri Nets and Software
Place:Universität Hamburg, DE
Year:2010
ISBN:978-972-8692-55-1
Publisher:Technical Universityt Hamburg-Harburg
Keywords
Petri Nets, ISAC, Lissom, pipeline modeling, instruction pipeline, microarchitecture
Annotation
This paper deals with instruction pipeline modeling using Petri Nets with the goal of finding suitable formalism for their description.
Abstract
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.
BibTeX:
@INPROCEEDINGS{
   author = {Adam Husár and Tomáš Hruška and Karel Masařík and Zdeněk
	Př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ät Hamburg, DE},
   publisher = {Technical Universityt Hamburg-Harburg},
   ISBN = {978-972-8692-55-1},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php.en?id=9271}
}

Your IPv4 address: 54.80.206.166
Switch to IPv6 connection

DNSSEC [dnssec]