Open AccessApplying SAT Solvers and ROBDDs for Deriving Circuits Masking Logical Faults and TSs in Discrete Systems
Author(s) -
A. Matrosova,
V. Provkin,
S. Ostanin
Publication year - 2020
Publication title -
problemy razrabotki perspektivnyh mikro- i nanoèlektronnyh sistem ...
Language(s) - English
Resource type - Journals
ISSN - 2078-7707
DOI - 10.31114/2078-7707-2020-2-35-42
Subject(s) - masking (illustration) , computer science , electronic circuit , arithmetic , programming language , algorithm , mathematics , engineering , electrical engineering , art , visual arts