A METHOD TO REVEAL UNDECLARED PERFORMANCE CAPABILITIES AND VALUES “DON’T CARE” OF A CALCULATION PROCEDURE
ITMO University; Department head, Professor
A. . Zykov
ITMO University; Associate Professor
Кулагин В. С.
Университет ИТМО; профессор, декан
L. . Osovetsky
ITMO University; professor
V. I. Polyakov
ITMO University, Saint Petersburg, 197101, Russian Federation; 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.
