For the most recent entries see the Petri Nets Newsletter.

Register estimation for digital system design: an approach based on timed Petri nets.

Maciel, Paulo

In: Proceedings of the second IEEE International Conference on Systems, Man and Cybernetics (SMC'02), October 6-9, 2002, Hammamet, Tunisia, Volume 4. IEEE Computer Society Press, October 2002.

Abstract: This work presents a method based on Petri for estimating the number of register needed for hardware implementation of behavioral descriptions. The proposed method considers the data-dependency graph represented by a Petri net model. Such model along with the control flow, also represented by a Petri net model, describe behavioral specifications. This work is inserted in the context of hardware/software co-design systems.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography