VLSI logic design with logic programming and knowledge base technology

Author

Hamada, Nobuhiro ; Bekki, Keisuke ; Yokota, Takayosi

Author_Institution

Hitachi Ltd., Ibaraki, Japan

fYear

1988

fDate

25-27 May 1988

Firstpage

206

Lastpage

210

Abstract

A logic-synthesis expert system called ProLogic was developed, and the system was evaluated for some MPU-type VLSIs. A universal connecting procedure for any compound functional module was proposed which unified the behavioral and structural specifications between a total module and its parts, so that the efficiency of logic design was improved by a factor of two. Logic programming, an object oriented frame, and a rule base were applied and implemented in Prolog, so that software productivity was improved by a factor of five, and an architecture for ProLogic has been build up efficiently through a trial-and-error method.<>

Keywords

VLSI; expert systems; formal specification; logic CAD; logic programming; ProLogic; Prolog; VLSI logic design; behavioural specification; compound functional module; efficiency; knowledge base technology; logic programming; logic-synthesis expert system; microprocessor unit; object oriented frame; rule base; software productivity; structural specifications; trial-and-error method; universal connecting procedure; Circuit synthesis; Humans; Joining processes; Laboratories; Logic circuits; Logic design; Logic programming; Process design; Programming profession; Very large scale integration;

fLanguage

English

Publisher

ieee

Conference_Titel

Artificial Intelligence for Industrial Applications, 1988. IEEE AI '88., Proceedings of the International Workshop on

Conference_Location

Hitachi City, Japan

Type

conf

DOI

10.1109/AIIA.1988.13295

Filename

13295