Hierarchical Annotated Action Diagrams An Interface-Oriented Specification and Verification Method

Presents a description methodology inspired by timing diagrams and process algebras, so-called hierarchical annotated action diagrams (HAAD). This method is suitable for specifying systems with complex interface behaviors that govern global system behavior. Shows the intuitive meaning of this method, provides formal semantics, and shows how the method can be used for verifying certain aspects of system design. Describes how the HAAD specification can be translated to a VHDL process, and gives a complete example of interfacing ARM7 and a static RAM. Of interest to those involved in defining methods and tools for system-level design specification and verification. Annotation copyrighted by Book News, Inc., Portland, OR