| On mathematical models of digital microelectronic systems and verification of the sequence of functions performed at the design stage |
|
 |
|
|
| Authors |
| | Ivannikov A.D. |
| Date of publication |
| | 2022 |
| DOI |
| | 10.31114/2078-7707-2022-3-40-44 |
|
| Abstract |
| | The method of digital microelectronic system simulation is widely used in the design of the latter. At the same time, an important step is to check the design for the correct functioning of the digital system. Verification tests are submitted to the computer model of the design, and the developer analyzes the correctness or error of changing the output and internal signals of the system being designed. In this case, the correctness of both the performance of all system functions and all possible sequences of functions should be checked. This paper proposes a model and method for checking the sequences of functions of a digital system design. |
| Keywords |
| | digital system simulation, fulfilled function sequence checking, design debugging on early stage |
| Library reference |
| | Ivannikov A.D. On mathematical models of digital microelectronic systems and verification of the sequence of functions performed at the design stage // Problems of Perspective Micro- and Nanoelectronic Systems Development - 2022. Issue 3. P. 40-44. doi:10.31114/2078-7707-2022-3-40-44 |
| URL of paper |
| | http://www.mes-conference.ru/data/year2022/pdf/D038.pdf |
