Investigation of simulation-based verification methods for descriptions with functional indeterminacy
D. Ya. Novikov, Liudmila D. Cheremisinova · Automatic Control and Computer Sciences · 2012
The problem of verification of logical descriptions of combinational devices is considered for incompletely functionally defined initial descriptions represented as systems of partially defined Boolean functions on intervals of input variable values. Verification methods based on simulation of combinational circuits for cases of input stimuli represented by ternary and Boolean vectors are investigated.