Algebraic Models of Digital System Design Debugging Decomposition

Ivannikov A.; Kulagin Vladimir; Romanov Aleksandr; Pozdneev B.

doi:10.1109/EWDTS.2016.7807712

Publications

?

Algebraic Models of Digital System Design Debugging Decomposition

P. 248–251.

Ivannikov A., Kulagin Vladimir, Romanov Aleksandr, Pozdneev B.

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.

Keywords: software model model of digital systems debugging by simulation digital system design semigroup of operators модель сложных цифровых систем отладка методом моделирования на ЭВМ проектирование систем на кристалле логическое моделирование логико-временной анализ алгебраическая модель модель программного обеспечения программа как полугруппа операторов

In book

Proceedings of IEEE East-West Design & Test Symposium (EWDTS'2016)

Yerevan: IEEE, 2016.

Debugging test set generation for digital control system functions

Ivannikov A., Pozdneev B., Romanova I. et al., , in: 2018 Moscow Workshop on Electronic and Networking Technologies (MWENT). Proceedings.: M.: IEEE, 2018. P. 1–5.

Digital control systems are considered, the functioning of which can be represented as a sequence of functions of a finite alphabet. For such systems design debugging by simulation it is necessary to generate the minimal complete, in the sense of a particular criteria, set of tests for applying to the simulated system to verify the ...

Added: October 10, 2018

Quasi-Feynman formulas – a method of obtaining the evolution operator for the Schrödinger equation

Remizov I., Journal of Functional Analysis 2016 Vol. 270 No. 12 P. 4540–4557

For a densely defined self-adjoint operator $\mathcal{H}$ in Hilbert space $\mathcal{F}$ the operator $\exp(-it\mathcal{H})$ is the evolution operator for the Schr\"odinger equation $i\psi'_t=\mathcal{H}\psi$, i.e. if $\psi(0,x)=\psi_0(x)$ then $\psi(t,x)=(\exp(-it\mathcal{H})\psi_0)(x)$ for $x\in Q.$ The space $\mathcal{F}$ here is the space of wave functions $\psi$ defined on an abstract space $Q$, the configuration space of a quantum system, ...

Added: March 3, 2018

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

A Method for Disambiguation of Part-of-Speech Homonymy Based on Application of Syntactic Compatibility in the Russian Language

Kochetkova N. A., Klyshinskiy E., Litvinov M. I. et al., Automatic Documentation and Mathematical Linguistics 2011 No. 1 P. 15–19

This paper deals with the description of a complex method for the disambiguation of part-of-speech homonymy in Russian texts. The method is based on the data on syntactic compatibility of Russian words. A method for compiling a similar corpus is discussed. ...

Added: April 12, 2012