Three-value simulation of combinational and sequential circuits and its applications O. Golubeva
Material type:
ArticleContent type: Текст Media type: электронный Subject(s): трехзначное моделирование | неизвестные значения | SAT решатель | ROBDD-графыGenre/Form: статьи в сборниках Online resources: Click here to access online
In:
2020 Moscow workshop on electronic and networking technologies (MWENT 2020), Moscow, Russia, 11-13 March 2020 P. 81-87Abstract: Tasks of exact three-value simulation of combinational and sequential circuits, verification of circuits, construction of transition graph of a sequential circuit and transition sequences based on it are discussed. Different methods of finding state transitions of a sequential circuit are considered. Proposed methods of the exact three-value simulation (simulation in presence of unknown values) and the transition graph construction are based on these methods of finding state transitions of a circuit. Methods use ROBDDs and SAT solvers. The usage of binary and three-value simulation to reduce computations is also considered. In addition, the application of the exact three-value simulation for verification is considered.
Библиогр.: 8 назв.
Tasks of exact three-value simulation of combinational and sequential circuits, verification of circuits, construction of transition graph of a sequential circuit and transition sequences based on it are discussed. Different methods of finding state transitions of a sequential circuit are considered. Proposed methods of the exact three-value simulation (simulation in presence of unknown values) and the transition graph construction are based on these methods of finding state transitions of a circuit. Methods use ROBDDs and SAT solvers. The usage of binary and three-value simulation to reduce computations is also considered. In addition, the application of the exact three-value simulation for verification is considered.
There are no comments on this title.