


DOI: 10.17587/it.24.627632 A. D. Ivannikov, Doctor of Technical Sciences, Professor, V. N. Severtcev, Doctor of Technical Sciences, Institute for Design Problems in Microelectronics of Russian Academy of Sciences Mathematical Model for Digital System Input Interaction Set in the Process of Logical Simulation While digital system design debugging by computer simulation the important task is to generate debugging test set, e.g. set of input signals which are applied to a designing system computer model for checking the correctness of its functioning. The generation of complete in some sense debugging test set is possible by some way if the permissible input action set for the system is known. Description forming of such a set is possible if permissible input interaction set for digital system blocks are known. Digital system block model investigation is carried out, first of all, from the point of a set of permissible input interactions. The family of stationary dynamic systems with continuous time and logical signal discrete values are used as models for digital system blocks. In some cases signal exchange between blocks and with outer world is initiated by a block itself. That is why input interactions including input signals and output exchange driving signals are considered as debugging tests. For the description of permissible input interactions of digital system blocks and the system as a whole graph representation is proposed for each fulfilled function. P. 627–632 