BIB-VERSION:: CS-TR-v2.0
          ID:: STAN//CSL-TR-90-453
       ENTRY:: November 08, 1994
ORGANIZATION:: Stanford University, Computer Systems Laboratory
       TITLE:: EVENT PATTERNS: A LANGUAGE CONSTRUCT FOR HIERARCHICAL DESIGNS
               OF CONCURRENT SYSTEMS
        TYPE:: Technical Report
      AUTHOR:: Luckham, David D.
      AUTHOR:: Gennart, Benoit A.
        DATE:: November 1990
       PAGES:: 34
    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.
       NOTES:: [Adminitrivia V1/Prg/19941108]
         END:: STAN//CSL-TR-90-453