Title :
VLSI logic design with logic programming and knowledge base technology
Author :
Hamada, Nobuhiro ; Bekki, Keisuke ; Yokota, Takayosi
Author_Institution :
Hitachi Ltd., Ibaraki, Japan
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;
Conference_Titel :
Artificial Intelligence for Industrial Applications, 1988. IEEE AI '88., Proceedings of the International Workshop on
Conference_Location :
Hitachi City, Japan
DOI :
10.1109/AIIA.1988.13295
