Result 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.
Type
conference paper
Language
English
Authors
Husár Adam, Ing., Ph.D., DIFS (FIT)
Hruška Tomáš, prof. Ing., CSc., DIFS (FIT)
Masařík Karel, Ing., Ph.D., DIFS (FIT)
Přikryl Zdeněk, Ing., Ph.D., DIFS (FIT)
Hruška Tomáš, prof. Ing., CSc., DIFS (FIT)
Masařík Karel, Ing., Ph.D., DIFS (FIT)
Přikryl Zdeněk, Ing., Ph.D., DIFS (FIT)
Abstract
This paper deals with instruction pipeline modeling using Petri Nets with the goal of finding suitable formalism for their description.
Keywords
Petri Nets, ISAC, Lissom, pipeline modeling, instruction pipeline, microarchitecture
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
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"
}
Projects
Language and development environment for microprocessor design, MPO, TANDEM, FT-TA3/128, start: 2006-01-01, end: 2010-06-30, completed
Mathematical and Engineering Approaches to Developing Reliable and Secure Concurrent and Distributed Computer Systems, GACR, Doktorské granty, GD102/09/H042, start: 2009-01-30, end: 2012-12-31, completed
Recognition and presentation of multimedia data, BUT, Vnitřní projekty VUT, FIT-S-10-2, 2010, start: 2010-04-01, end: 2010-12-31, completed
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, start: 2007-01-01, end: 2013-12-31, running
System for Programming and Realization of Embedded Systems, MPO, TIP, FR-TI1/038, start: 2009-07-01, end: 2013-06-30, completed
Mathematical and Engineering Approaches to Developing Reliable and Secure Concurrent and Distributed Computer Systems, GACR, Doktorské granty, GD102/09/H042, start: 2009-01-30, end: 2012-12-31, completed
Recognition and presentation of multimedia data, BUT, Vnitřní projekty VUT, FIT-S-10-2, 2010, start: 2010-04-01, end: 2010-12-31, completed
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, start: 2007-01-01, end: 2013-12-31, running
System for Programming and Realization of Embedded Systems, MPO, TIP, FR-TI1/038, start: 2009-07-01, end: 2013-06-30, completed
Research groups
Hardware-Software Codesign research group (RG LISSOM)
Departments