Электронная библиотека (репозиторий) Томского государственного университета
Matrosova, Anzhela Yu. | SAT решатели

Add to Quick Collection   All 2 Results

Showing items 1 - 2 of 2.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   SAT solvers application of deriving all test pairs detecting robust testable PDFs
Authors: Matrosova, Anzhela Yu. | Andreeva, V. V. | Tychinskiy, V. Z.
Source: 2021 IEEE East-West Design & Test Symposium (EWDTS), Batumi, Georgia, September 10-13, 2021 : proceedings. [S. l.], 2021. P. 252-255
Type: статьи в сборниках
Date: 2021
Description: It is known that if we have set of test pairs of neighbor Boolean vectors for robust testable PDF for each path considered in the given circuit, we may derive test sequence for these faults consisting ... More
Add   Masking internal node logical faults and trojan circuits injections with using SAT solvers
Authors: Matrosova, Anzhela Yu. | Provkin, V.
Source: 2020 IEEE International Conference on Automation, Quality and Testing, Robotics (AQTR) : THETA 22nd edition, 21st -23rd May, Cluj-Napoca, Romania : proceedings. [S. l.], 2020. P. 3-6
Type: статьи в сборниках
Date: 2020
Description: We consider a combination circuit (the combinational part of a sequential circuit) and some nodes which faults are detected on the last stages of the circuit fabrication. Besides, injections of Trojan ... More
  • «
  • ←
  • 1
  • →
  • »
^