Loading...
Please wait, while we are loading the content...
Similar Documents
Quantum Deductive Fault Simulation
| Content Provider | Semantic Scholar |
|---|---|
| Author | Hahanov, Vladimir Gharibi, Wajeb Liubarskyi, Mykhailo Litvinova, E. Gharibi, Mirmojtaba Chumachenko, Svetlana Hahanov, Ivan Hahanova, Anna |
| Copyright Year | 2018 |
| Abstract | A structural model of the interaction of X functions and derivatives, focused on the synthesis and analysis of digital systems, is proposed in order to reduce the design and testing time of computing devices. The notion of simple Xfunctions of a finite number of variables, which are characterized by the absence of minimization and the presence of testability properties for solving the problems of test synthesis, simulation and diagnosis, is introduced. Metric properties of X-functions of a finite number of variables are formulated to evaluate the quality of verification tests by deductive modeling the stuck-at faults on qubit data structures. An analytical expression is proposed for the synthesis of qubit coverage of X-functions of a finite number of variables for the purpose of subsequent synthesis and analysis of tests for testing and diagnosing faults. Deductive formulas for transporting input fault lists to external outputs of Xfunctions of a finite number of variables have been synthesized to build a fault simulation sequencer that is invariant to input test patterns. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | https://csce.ucmss.com/cr/books/2018/LFS/CSREA2018/MSV4060.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
