W artykule przedstawiono wyniki badania skuteczności testowania układów MVL, przy wykorzystaniu w procesie weryfikacji odpowiedzi zaproponowanych technik kompresji stratnej. Zaprezentowano opracowane wzory pozwalające na oszacowanie wartości prawdopodobieństwa maskowania uszkodzeń dla proponowanych technik, wyznaczając zależność maskowania od podstawy rozważanej logiki oraz - dla techniki liniowej - liczby stopni układu kompresji - dla technik nieliniowych - cech zliczeniowych ciągu badanego. Opracowano i zaimplementowano algorytmy potrzebne do realizacji proponowanego eksperymentu naukowego, badającego w warunkach symulacji komputerowej skuteczność użycia proponowanych technik kompresji w procesie weryfikacji wyników testu, w odniesieniu do przykładowych układów realizujących funkcje wielowartościowe.
EN
The article shows results of research on efficiency of the MVL systems testing with the application of suggested of compression techniques in the process of response verification. The conceived formulas enabling to estimate the value of faults masking probability for the suggested techniques have been presented. The dependence between masking and the basis of logic as well as, for the linear technique, the length of a compressor, whereas, for the non-linear techniques, a selected syndrome. The algorithms required for the realization of the scientific experiment have been conceived and implemented. By means of computer simulation, the efficiency of implementation of the suggested compression techniques has been assessed in the process of test results verification in reference to sample systems realizing multi-valued functions.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.