Loading...
Please wait, while we are loading the content...
Similar Documents
Simulation-based verification of implementations of incompletely specified Boolean functions
| Content Provider | Semantic Scholar |
|---|---|
| Author | Cheremisinova, Liudmila D. |
| Copyright Year | 2013 |
| Abstract | The problem under discussion is to check whether a given system of incompletely specified Boolean functions is implemented by a logical description with functional indeterminacy that is represented by a system of connected blocks each of which is specified by a system of completely or incompletely specified Boolean functions. Simulationbased verification methods are considered which simulate the multi-block structure on the domain of the system of Boolean functions. The results of investigation of verification methods based on simulation of combinational circuits are given for the case of input stimuli represented by ternary vectors. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | https://csit.am/2013/proceedings/DT01.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |