权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

Configuration and Reasoning Functions for Knowledge-based VLSI Pattern Design System

基于知识的VLSI图形设计系统的配置和推理功能

基本信息

批准号：
60550257
负责人：
ISHIZUKA Mitsuru
金额：
$ 0.13万
依托单位：
Institute of Industrial Science, University of Tokyo
依托单位国家：
日本
项目类别：
Grant-in-Aid for General Scientific Research (C)
财政年份：
1985
资助国家：
日本
起止时间：
1985 至 1986
项目状态：
已结题

项目摘要

We have conducted a research from a viewpoint that a knowledge-based system structure and intelligent functions based on that structure are required toward advanced VLSI-CAD systems. For the knowledge-based CAD system. automatic or semi-automatic synthesis functions are needed in addition to the analysis or verification functions explored so far in connection with existing knowledge systems. Although several approaches may be possible toward a knowledge-based LSI pattern design system, we have constructed a prototype system having a functional cell library as a kernel. The functional cell library is based on a knowledge structure and stores a set of intelligent cell data (components) to be combined in response to the request. Our LSI functional cell library system named OCLS can presently support NMOS artwork pattern design based on the Mead-Conway design methodology. A pattern description language has been developed, which is suitable for a hierarchical pattern description, expressing geometical patterns with using variables, and embedding related knowledge. The language supports necessary functions in the framework of object-oriented programming style based on Prolog. A design rule checker is also integrated in the system. For the users not enough familiar with the syntax of OCLS, a syntax-directed editor with graphics is provided. In our LSI design system, the design proceeds basically as sellecting necessary cells and combining them to produce larger patterns. The selection is done by the user at present with the help of a cell catalog desplay window. Since we consider that a hypothesis-based reasoning can be advantageously used for automating this selection process, we have exploited an enhanced knowledge representation and a learning mechanism for the knowledge-base performing hypothesis-based reasoning.

我们从先进的VLSI-CAD系统需要一个基于知识的系统结构和基于该结构的智能功能的角度进行了研究。用于基于知识的CAD系统。除了迄今结合现有知识系统探索的分析或核查功能外，还需要自动或半自动的综合功能。虽然基于知识的大规模集成电路图形设计系统有几种可能的方法，但我们已经构建了一个以功能单元库为核心的原型系统。该功能单元库基于知识结构并存储响应于该请求而组合的一组智能单元数据(组件)。我们的LSI功能单元库系统OCLS目前可以支持基于Mead-Conway设计方法的NMOS工艺图案设计。开发了一种适合层次化模式描述的模式描述语言，该语言使用变量表示几何模式，并嵌入相关知识。该语言支持基于PROLOG的面向对象程序设计风格框架中的必要功能。系统中还集成了设计规则检查器。对于不太熟悉OCLS语法的用户，我们提供了一个语法制导的图形化编辑器。在我们的LSI设计系统中，设计基本上是选择必要的单元并将它们组合成更大的图案。该选择目前由用户借助单元目录显示窗口来完成。由于我们认为基于假设的推理可以有利地用于自动执行这一选择过程，因此我们利用了增强的知识表示和用于执行基于假设推理的知识库的学习机制。