Home         Authors   Papers   Year of conference   Themes   Organizations        To MES conference

Mathematical model for complex digital circuits and microsystems projects debugging based on presenting the latest as a family of stationary dynamical systems

Authors
 Ivannikov A.D.
 Stempkovsky A.L.
Date of publication
 2014

Abstract
 For projects of complex digital circuits and microsystems (digital systems), defined by a connection diagram of blocks and software-firmware, it is proposed to use the mathematical model in the form of a family of stationary dynamical systems. Due to the fact that applying of input signals to a digital system in some cases depends on the availability of output signals the concept of input and output interactions is introduced. These interactions are sequences of events. Each event is switching of an input or output variable ​​from one value to another at a particular time. The task of digital system design debugging is formulated in terms of comparing the family of stationary dynamical systems describing the desired external behavior of complex digital circuit or microsystem (digital system) and the family of systems, defined by the structure of digital system design.
Keywords
 complex digital circuits and microsystems design, design debugging, simulation of digital systems, stationary dynamic systems as a model of digital systems, the formalization of the project debugging by simulation
Library reference
 Ivannikov A.D., Stempkovsky A.L. Mathematical model for complex digital circuits and microsystems projects debugging based on presenting the latest as a family of stationary dynamical systems // Problems of Perspective Micro- and Nanoelectronic Systems Development - 2014. Proceedings / edited by A. Stempkovsky, Moscow, IPPM RAS, 2014. Part 2. P. 123-128.
URL of paper
 http://www.mes-conference.ru/data/year2014/pdf/D181.pdf

Copyright © 2009-2019 IPPM RAS. All Rights Reserved.

Design of site: IPPM RAS