Alexander Ivannikov

Simulation and synthesis of networks-on-chip by using NoCSimp HDL library

This paper proposes an approach to the synthesis and modeling of networks-on-chip (NoCs) by using the NoCSimp library based on a simplified wormhole router with central buffer and without virtual channels. The analysis of the results of simulation and synthesis of NoCs with regular and quasi-optimal topologies with number of nodes 8 and 9 is given. It is shown that in the case where the number of NoC nodes is not a power of 2 the use of quasi-optimal topologies offers a significant advantage.

Dataflow computing model — Perspectives, advantages and implementation

The problems of parallelizing computations and increasing real performance are among the main ones for high-performance computing systems. The article describes a new dataflow computing model and architecture, which allow addressing these problems. Methods for solving other problems of classical dataflow systems and traditional cluster supercomputers by the parallel dataflow computing system are also presented. The experiment results for one of the task are shown. It is concluded that the new dataflow computing model is promising.

Application of exhaustive search, branch and bound, parallel computing and Monte-Carlo methods for the synthesis of quasi-optimal network-on-chip topologies

On the basis of an integrated network-on-chip (NoC) topologies optimality criterion, as well as applying the adjacency matrix to describe NoC topologies, exhaustive search method and its modification by using branch and bound and Monte-Carlo methods are extended to the synthesis of NoC quasi-optimal topologies. Designed ScaNoC suboptimal topology synthesis algorithm is implemented on a high-level programming language which makes it possible to generate quasi-optimal topological solutions in accordance with the requirements to reduce hardware costs and the average distance between nodes. Proposed quasioptimal topologies synthesis algorithm improvement by using the method of parallel computing allows speeding up the process of synthesis to 2117 times and getting topologies with the number of nodes up to 18.

Methods of slew rate verification of operational amplifier macro model

Three methods of operational amplifier (Op amp) slew rate verification are considered. These methods are illustrated through the example of SPICE macro models of Op amp LMH6642 by Texas Instruments and OP37 by Analog Devices.

Set-theoretic model of digital systems functioning

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.

Algebraic models of digital system design debugging decomposition

Due to the complexity and large dimensions of the task of digital system design debugging decomposition by method of modeling as a whole, algebraic models of decomposition methods are proposed, namely, methods of vertical and horizontal structure decomposition, functional decomposition, decomposition based on error types. An algebraic model of the digital systems software is presented. The software is considered as a semi group of operators.

Smart University Management Based on Process Approach and IT-Standards

The document describes state of art approaches, best practices and standards for the development of the Smart University Management System. It defines fundamental meaning of the Strategic Thinking, Risk Management and Knowledge Management in connection with the new version of the standard ISO 9001:2015. It presents a process model of the university system management that accounts for the specific features of the development of the system of electronic learning and forming of integrated Smart University environment based on fundamental IT standards and the set of standards (Information Technology for Learning, Education and Training). The implementation of the presented approach guarantees the development of the Smart University as an important component of the Smart Society.