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.