A Rule - Based Hardware Description Language and Verification of Logic Circuits
조동섭, 황희융 · 한국정보과학회 학술발표논문집 · 1986
In this paper we propose the logic programming language, PROLOG, as a hardware description language and deals with its application to the verification of the conventional logic circuits. This paper also presents a new modelling techniques for modular representation of logic circuits. Each circuit module is treated as predicate in PROLOG system. An advantage of our approach is that it is programmed based on the modular design concept and can be executed faster on personal computers. Another advantage is that simulation and verification of given logic circuits is performed without any modification of its structure. Several techniques for designing and testing of logic circuits are proposed and programmed to show its effectiveness.