Synthesis of auxiliary algorithms for preliminary assessment of stuck-at faults detection tests
Autor: | Yu. Ya. Agranovich, S. V. Tyurin, S. A. Belozorov |
---|---|
Rok vydání: | 2014 |
Předmět: | |
Zdroj: | Automation and Remote Control. 75:1875-1879 |
ISSN: | 1608-3032 0005-1179 |
DOI: | 10.1134/s0005117914100142 |
Popis: | This paper presents a formal Boolean-algebra-based synthesis of three auxiliary algorithms implementing preliminary assessment methods for stuck-at faults detection tests. |
Databáze: | OpenAIRE |
Externí odkaz: |