Investigation of simulation-based verification methods for descriptions with functional indeterminacy |
| |
| Authors: | D. Ya. Novikov L. D. Cheremisinova |
| |
| Affiliation: | 1. United Institute of Informatics Problems, National Academy of Sciences of Belarus, ul. Surganova 6, Minsk, 220012, Belarus
|
| |
| Abstract: | 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. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
