A Note on Three-Valued Logic Simulation
IEEE Transactions on Computers
A three-value computer design verification system
IBM Systems Journal
Hi-index | 14.98 |
Generation of test patterns and diagnostics for complex digital modules often involves a ternary (0, 1, u) simulation program. A non-Boolean technique, presented herein, initializes u (unknown) values in such a way that diagnostic resolution and accuracy is enhanced. A pure ternary simulator lacks this initialization capability.