Hardware System Design with Behavior Tables

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

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.