Visualizing System Factorizations with Behavior Tables

Abstract. Behavior tables are a design formalization intended to support interactive design derivation for hardware and embedded systems. It is a reformulation of the DDD transformation system, bridging behavioral and architectural forms of expression. The tabular representations aid in visualizing design aspects that are subject to interactive refinement and optimization. These ideas are illustrated for system factorization, an import class of decompositions used in design derivation. A series of examples shows how features seen in the behavior tables determine the course of a factorization and how the rules of a core behavior table algebra compose into the more large scale transformations done at the interactive level.

• Type: Conference
• Year: 2000
• Where: FMCAD
• Authors: Alex Tsow, Steven D. Johnson
• Keywords: Behavior Table, Design Derivation, FMCAD 2000, Formal Methods, Interactive Design Derivation