History


Please fill in your query. A complete syntax description you will find on the General Help page.
Using Petri nets for modeling branch control of pipelined processors. (English)
Abraham, Ajith (ed.) et al., Hybrid information systems. Proceedings of HIS-2001, 1st international workshop, Adelaide, Australia, December 11‒12, 2001. Heidelberg: Physica-Verlag (ISBN 3-7908-1480-6/pbk). Advances in Soft Computing, 653-663 (2002).
Summary: This paper major discusses using Petri net to model the control structure of instructions while branch occur. Branch instructions can reduce the performance of pipelined processors by interrupting the steady flow of instructions into the pipelined one’s. In this paper, we describe a Petri nets based methodology for modeling and evaluation branch control of pipelined processors. A general purpose Petri nets simulator has been developed using trace- driven approach, SES/workbench. Using this simulator, the execution of the Petri nets models of some sub-models have been simulated. In this paper, we only concern on the scheme that makes the Petri nets to model the branch control for pipelined processors, and to compare the performance and cost/performance ratio of the pipelined processors with/without branch target buffer.
WorldCat.org
Valid XHTML 1.0 Transitional Valid CSS!