Simulation of sequential circuits using logic programming

被引：0

作者：

Lyul'kin, AE ^{[1
]}

机构：

[1] Belarusian State Univ, Minsk 220050, BELARUS

来源：

AUTOMATIC CONTROL AND COMPUTER SCIENCES | 1999年 / 33卷 / 02期

关键词：

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

Descriptions of sequential circuits in the form of sets of predicates are presented. By means of sets of predicates it becomes possible, by applying the tools of logic programming, to simulate the circuits, taking into account lags in the elements, using a synchronizing model and a nonsynchronizing model of the circuit. Examples illustrating implementation of the proposed descriptions of sequential circuits in Prolog are considered.

引用

页码：43 / 50

页数：8