ISSN 0021-3454 (print version)
ISSN 2500-0381 (online version)
Menu

9
Issue
vol 60 / SEPTEMBER, 2017
Article
UDC 004.056.53

A METHOD TO REVEAL UNDECLARED PERFORMANCE CAPABILITIES AND VALUES “DON’T CARE” OF A CALCULATION PROCEDURE

O. F. Nemolochnov
ITMO University; Department head, Professor


A. . Zykov
ITMO University; Associate Professor


Кулагин В. С.
Университет ИТМО; профессор, декан


L. . Osovetsky
ITMO University; professor


V. I. Polyakov
ITMO University; Associate Professor


A. V. Suhanov
;


Read the full article 

Abstract. Verification of calculation processes based on graph-analytic models governed by partially determined Boolean functions is considered. The problem is analyzed of retrieval of undeclared capabilities and open-circuits resulting from don`t care values with the use of Boolean control graph and cubical covering. Results are presented of cover construction for a Boolean graph and verification of don`t care values in the form of a cover for conjunction of identically zero relations-inequalities.
Keywords: calculation procedure, undeclared performance capabilities, open-circuit, graph-analytic model.