Modeling cell processing hardware with action diagrams

In this paper we address the behavioral modeling of cell processing hardware (e.g., packet/ATM switching systems). We propose a modeling methodology, Action Diagrams, in which the timing and protocol aspects are specified in a nearly “orthogonal” way to the data manipulation aspects, while maintaining the links between the two. We show the novel aspects of this specification paradigm and we illustrate its use on cell processing applications