Three-value simulation of combinational and sequential circuits and its applications

Эндаумент фонд ТГУ!
Впиши своё имя в историю университета
- Сделать пожертвование -

Add to "Quick Collection"

Description	Size	Format
Three-value simulation of combinational and sequential circuits and its applications	301 KB	Adobe Acrobat PDF	Read	Download
DOI Доступ к ресурсу на сайте издателя			10.1109/MWENT47943.2020.9067493

Title: Three-value simulation of combinational and sequential circuits and its applications
Creator: Golubeva, Olga
Date: 2020
DOI: 10.1109/MWENT47943.2020.9067493
Description: 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.