Set-theoretic Model of Digital Systems Functioning

Ivannikov A.; Romanov A.; Stempkovsky A.

doi:10.1109/SIBCON.2016.7491726

Publications

?

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.

Keywords: 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 проектирование цифровых систем отладка цифровых систем моделирование цифровых систем стационарные динамические системы

In book

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

M.: HSE, 2016.

Attention sustainability and shifting in the digital environment

Anufrieva A., Gorbunova E. S., Perception 2021 Vol. 50 No. 1S P. 69–69

The digital environment surrounds us everywhere and influences our cognitive system. Very few studies aimed to find mechanisms of how the digital environment influences visual attention. In two experiments, we attempted to investigate how the complexity of the digital environment affects visual attention and user’s performance. Attentional sustainability and shifting were measured in “simple” and “complex” conditions. Participants were presented with an online ...

Added: May 10, 2023

Proceedings 2020 IEEE East-West Design & Test Symposium (EWDTS)

Sidorenko V., Кулагин М. А., Varna: IEEE, 2020.

The main target of the IEEE East-West Design & Test Symposium (EWDTS) is to exchange experiences between scientists and technologies from Eastern and Western Europe, as well as North America and other parts of the world, in the field of design, design automation and test of electronic circuits and systems. The symposium is typically held ...

Added: September 8, 2020

PROBLEMS OF ADVANCED MICRO- AND NANOELECTRONIC SYSTEMS DEVELOPMENT (MES) SELECTED ARTICLES of the VII All-Russia Science&Technology Conference MES-2016 Part IV, Design of Electron Component Base

M.: ., 2017.

Part IV of these Proceedings includes selected papers written on the basis of the best presentations of Sections 9 and 10 (“Design of Electron Component Base” and “Design of Radiation Tolerant VLSI Circuits and Components for Space Application”) of the VII All-Russia Science&Technology Conference “Problems of Advanced Micro- and Nanoelectronic Systems Development - 2016” (Moscow, ...

Added: October 17, 2017