Report Number: CSL-TR-90-453
Institution: Stanford University, Computer Systems Laboratory
Title: Event patterns: A language construct for hierarchical designs of concurrent systems
Author: Luckham, David D.
Author: Gennart, Benoit A.
Date: November 1990
Abstract: Event patterns are a language construct for expressing
relationships between specifications at different levels of a
hierarchical design of a concurrent system. They provide a
facility missing from current hardware design languages such
as VHDL, or programming languages with parallel constructs
such as Ada.
This paper explains the use of event patterns in (1) defining
mappings between different levels of a design hierarchy, and
(2) automating the comparison of the behavior of different
design levels during simulation. It describes the language
constructs for defining event patterns and mappings, and
shows their use in a design example, a 16-bit CPU.