| 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 |
