Logic circuit synthesis using Prolog

Autor: Nobuaki Kawato, Takao Uehara
Rok vydání: 1983
Předmět:
Zdroj: New Generation Computing. 1:187-193
ISSN: 1882-7055
0288-3635
DOI: 10.1007/bf03037425
Popis: This paper briefly reviews the current use of CAD in logic design, and then describes an expert system used to synthesize logic circuits. Specialized knowledge dealing with standard TTL ICs is written in Prolog and AGE, and the results are compared.
Databáze: OpenAIRE