VLSI logic design with logic programming and knowledge base technology

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.<
>