Inheritance, Change and Constraint Propagation in a Version Server for Computer-Aided Design Data

主要研究者的方法是研究 CAD设计过程中的数据管理。 在此前的NSF- 支持的研究，提案人已经实现了原型版本 计算机辅助设计（CAD）数据的服务器。 他计划用这个作为 一个操作测试平台，研究如何应用， 实现面向对象和逻辑编程概念，例如 CAD中的原型对象、继承和推理 环境 卡茨博士计划研究两个问题：（1）新的方法 通过相互关联的设计对象的网格传播数据;以及 (2)扩展一些最近的工作，应用推理技术来验证 设计的正确性，对约束和变更的控制问题 传播 超大规模集成电路（VLSI）是一个最近的领域，探索如何 设计高度复杂的集成电路和相关的电子 系统. 该领域的发展对国家的发展至关重要。 在电子领域的竞争优势。 拟议的研究是在CAD 设计管理，这是一个非常重要的主题， CAD行业 传统的数据库技术不足以 支持当今的CAD设计流程。 这项研究解决了需要 仔细管理许多信息细节， 在CAD过程中产生的。 需要进行这种研究，以促进 CAD领域的自动化，其中设计非常和超大规模 集成（VLSI/ULSI）电路现在如此复杂，人类无法 有效地处理它们。 首席研究员已经做出了 为CAD设计管理领域做出了重要贡献。 他带来 承担一个有用的理论和实践人才的结合。

The principal investigator's approach is to study problems in the management of data in the CAD design process. In previous NSF- supported research, the proposer has implemented a prototype version server for computer-aided design (CAD) data. He plans to use this as an operational testbed in which to investigate how to apply and implement object-oriented and logic-programming concepts, such as prototypical objects, inheritance, and inference, within the CAD environment. Dr. Katz plans to investigate two problems: (1) new ways to propagate data through a lattice of interrelated design objects; and (2) extend some recent work, applying inference techniques to validate design correctness, to the problem of controlling constraint and change propagation. VLSI (very large scale integration) is a recent field that explores how to design highly complex integrated circuits and related electronic systems. Development of the field is important to the nation's competitive lead in electronics. The proposed research is in CAD design management, a subject that is of exceptional importance to the CAD industry. Traditional database techniques are not adequate to support today's CAD design process. This research addresses the need to carefully manage the many information details which are typically produced during the CAD process. Such research is needed to promote automation in the CAD field, where design of very and ultra large scale integrated (VLSI/ULSI) circuits is now so complex that humans cannot effectively deal with them. The principal investigator has made important contributions to the CAD design management area. He brings to bear a useful blend of theoretical and practical talents.