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, decompositio...

Full description

Saved in:
Bibliographic Details
Main Authors: Ivannikov, Alexander, Kulagin, Vladimir, Romanov, Aleksandr, Pozdneev, Boris
Format: Conference Proceeding
Language:English
Subjects:
Computational modeling
Debugging
Digital systems
Hardware
Microprogramming
Software
Timing
Citations: Items that cite this one
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:2472-761X
DOI:10.1109/EWDTS.2016.7807712