Reducing probabilistic timed petri nets for asynchronous architectural analysis

Authors:
Sangyun Kim;Sunan Tugsinavisut;Peter Beerel
Affiliations:
University of Southern California, Los Angeles, CA;University of Southern California, Los Angeles, CA;Fulcrum Microsystems, Calabasas Hills, CA
Venue:
Proceedings of the 8th ACM/IEEE international workshop on Timing issues in the specification and synthesis of digital systems
Year:
2002

Citing 7
Cited 0

Performance analysis and optimization of asynchronous circuits

Performance analysis and optimization of asynchronous circuits
An Algorithm for Exact Bounds on the Time Separation of Events in Concurrent Systems

IEEE Transactions on Computers
A Fast Asynchronous Huffman Decoder for Compressed-Code Embedded Processors

ASYNC '98 Proceedings of the 4th International Symposium on Advanced Research in Asynchronous Circuits and Systems
RAPPID: An Asynchronous Instruction Length Decoder

ASYNC '99 Proceedings of the 5th International Symposium on Advanced Research in Asynchronous Circuits and Systems
Bounding Average Time Separations of Events in Stochastic Timed Petri Nets with Choice

ASYNC '99 Proceedings of the 5th International Symposium on Advanced Research in Asynchronous Circuits and Systems
High-Throughput Asynchronous Pipelines for Fine-Grain Dynamic Datapaths

ASYNC '00 Proceedings of the 6th International Symposium on Advanced Research in Asynchronous Circuits and Systems
High-Speed QDI Asynchronous Pipelines

ASYNC '02 Proceedings of the 8th International Symposium on Asynchronus Circuits and Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper introduces structural reductions of probabilistic timed Petri nets that preserve a large class of performance measurements. In particular, the paper proposes a class of reductions that preserve efficiently computable bounds of statistics of time-separation of events (TSEs). It identifies two specific reductions within this class. It demonstrates the utility of these reductions by reducing a detailed Petri net describing the four-phase protocol of a well-known asynchronous pipeline template into a simpler two-phase architectural-level Petri net model. The benefit of this reduced model is that the run-time of subsequent TSE analysis can be greatly improved.