Reference:

Brent E. Nelson, Robert B. Jones, and Desmond A. Kirkpatrick. Simulation event pattern checking with proto. In Conference on Simulation and Hardware Description Languages (SHDL), January 1994.

Abstract:

This paper presents a new method for reducing the complexity of analyzing simulation results. We introduce PROTO, a simulation-time event pattern checking methodology. Background on related work and motivation for this work is presented. We explain the event pattern descriptions and the corresponding finite-state machine models. Our implementation of PROTO is discussed, and an example using PROTO to validate a portion of a cache protocol is presented.

Download (please read copyright notice):

PostScript (gzipped)
PDF (auto-translated from PS, may have problems)

BibTeX entry:

@InProceedings{NelsonJonesKirkpatrick94SHDL,
  author    = {Brent E. Nelson and 
               Robert B. Jones and 
               Desmond A. Kirkpatrick},
  title     = {Simulation Event Pattern Checking with PROTO},
  booktitle = {Conference on Simulation and Hardware Description Languages (SHDL)},
  month     = {January},
  year      = 1994,
}