| Analysis of Iterative Methods for Solving Logical Equation Systems and their Use in Digital System Simulation |
|
 |
|
|
| Authors |
| | Ivannikov A.D. |
| | Stempkovsky A.L. |
| Date of publication |
| | 2020 |
| DOI |
| | 10.31114/2078-7707-2020-3-2-8 |
|
| Abstract |
| | In digital system functional-logical simulation an iterative solution of a system of logical equations is carried out at each simulation step. The calculation of the established values of the logical signals in the nodes of the circuit after the input logical inputs is carried out. In the work, various iterative methods are considered that are applicable for solving systems of logical equations, namely: a simple iteration, Seidel iteration, the concept of generalized iteration is introduced. In the theoretical consideration, the concept of an iteration trace is introduced as a sequence of subsets of indices of logical variables recalculated at each step of the iteration. Graph models of both the system of logical equations and the process of iterative solution of systems of equations are analyzed. The relationship between the number of solutions of a system of logical equations and the structure of its graph model is shown. Variants of using the considered iterative solution methods for functional-logical simulation of digital systems are considered. |
| Keywords |
| | functional-logical simulation of digital systems, systems of logical equations, iterative solution methods, generalized iteration. |
| Library reference |
| | Ivannikov A.D., Stempkovsky A.L. Analysis of Iterative Methods for Solving Logical Equation Systems and their Use in Digital System Simulation // Problems of Perspective Micro- and Nanoelectronic Systems Development - 2020. Issue 3. P. 2-8. doi:10.31114/2078-7707-2020-3-2-8 |
| URL of paper |
| | http://www.mes-conference.ru/data/year2020/pdf/D109.pdf |
