Hardware System Design with Behavior Tables

管理复杂设计过程的人类智力能力不断受到规模和各种VLSI技术的进步，合成和验证工具的日益复杂以及上市时间压力的不断升级的阻碍。本研究的重点是将高级系统规范分解为可合成组件的推理支持工具。底层格式足够严格，可以支持（在某些情况下可以取代）正式的验证任务。人机交互以PI开发的新表格符号为中心，其同步语义与高级综合中的预期模型相匹配。由此产生的软件包括一个用于动画化行为表并将其映射到现有合成语言的系统，一个用于交互式构建和操作行为表的图形界面，以及一个用于转换和推理行为表的集成形式系统。这些组件可以单独使用，也可以组合使用。该软件广泛而自由地分发，并且是基于schema的建模工具存储库的一部分。

Human intellectual capacity to manage complex design processes is continually thwarted by advances in scale and variety of VLSI technologies, increasing sophistication of synthesis and verification tools, and escalating time-to-market pressures. This research focuses on reasoning support tools for decomposing high-level system specifications into synthesizable components. The underlying format is rigorous enough to support, and in some cases supplant, formal verification tasks. Human interaction centers on a novel tabular notation developed by the PI, whose synchronous semantics matches the intended models in high level synthesis. Resulting software includes a system for animating behavior tables and mapping them to existing synthesis languages, a graphical interface for interactively building and manipulating behavior tables, and an integrated formal system for transforming and reasoning about them. These components can be used individually or in combination. The software is widely and freely distributed and is part of a repository of Scheme-based modeling tools.