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

Add to Quick Collection   All 2 Results

Showing items 1 - 2 of 2.
  • «
  • 1
  • »
Sort:
 Add All Items to Quick Collection
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
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
  • »
^