Artificial intelligence news letter

✍ Scribed by Laurence L. Leff

• Book ID: 103973371
• Publisher: Elsevier Science
• Year: 1987
• Tongue: English
• Weight: 421 KB
• Volume: 2
• Category: Article
• ISSN: 0954-1810
• DOI: 10.1016/0954-1810(87)90146-4

✦ Synopsis

Left 1. Electrical Engineering A set of Prolog programs converts a boolean description to CIF (Caltech Intermediate Form). The input is specified in Prolog itself. The intermediate forms are a netlist of transistors and a virtual grid in the style of a Gate Matrix. (Ashar A. Butt, University of California at Berkeley). Another Prolog based

system converts Occam, a concurrent programming language, directly into CMOS circuits. The first step is the conversion of the OCCAM description to DDL which include description of hardware registers and finite state machines to be included. The second phase converts the DDL into a description of CMOS circuits including the library cells used, CMOS function cells and and their connections. They applied the programs to a pattern matcher (350 gates, 50 lines of Occam) and a microprocessor (1000 gates, 40 lines of OCCAM). Using C-Prolog on a VAX, they analysed their circuits in less than 15 seconds each. The whole system has 8500 Prolog Lines containing 100 rules and took 8 man years to build