Set-theoretic Model of Digital Systems Functioning

Ch. 308fu4t.

Ivannikov A., Romanov A., Stempkovsky A.

For projects of digital systems, defined by the circuit diagram of blocks connection and software, it is proposed to use a mathematical model in the terms of the set theory and the theory of stationary dynamic systems. Due to the fact that the supply of input signals to the digital system in some cases depends on the output ready signals, the concept of input and output interactions is introduced. These interactions are sequences of events each of which is the change of the input and output variables from one value to another at a particular time. The aim of a digital system project debugging is formulated in terms of a comparison of the family of stationary dynamic systems describing the desired external behavior of a digital system and a family of systems defined by the structure of the digital system design.

Ключевые слова: design of digital systems, design debugging, simulation of digital systems, stationary dynamic systems as a model of digital systems, formal description of design debugging by computer simulation, проектирование цифровых систем, отладка цифровых систем, моделирование цифровых систем, стационарные динамические системы

В книге

2016 International Siberian Conference on Control and Communications (SIBCON). Proceedings

M.: HSE, 2016.