Asynchronous simulation of discrete devices on the basis of logic programming

Authors
Lyul'kin, AE
Citation
Ae. Lyul'Kin, Asynchronous simulation of discrete devices on the basis of logic programming, AUTOM C C S, 34(4), 2000, pp. 62-69
Citations number
7
Categorie Soggetti
AI Robotics and Automatic Control
Journal title
AUTOMATIC CONTROL AND COMPUTER SCIENCES
ISSN journal
01464116 → ACNP
Volume
34
Issue
4
Year of publication
2000
Pages
62 - 69
Database
ISI
SICI code
0146-4116(2000)34:4<62:ASODDO>2.0.ZU;2-J
Abstract
Descriptions of discrete devices specified in the form of combinational or series circuits by means of sets of predicates are proposed. By means of se ts of predicates it is possible to implement asynchronous simulation of the circuits, i.e, simulate: the: circuits taking into account delays of the e lements, using the mechanism of logical inference implemented in logical pr ogramming Examples illustrating implementation of the proposed descriptions of discrete devices in the Prolog language are considered.