Noise-based Algorithms for Functional Equivalence and Tautology Checking
Conference Paper
Overview
Identity
Additional Document Info
Other
View All
Overview
abstract
In this paper, we present noise-based algorithms for functional equivalence and tautology checking using noise-based logic (NBL). A key property of NBL is that literals are represented by independent noise sources, from which we can construct noise-based cubes, and superpositions of such noise-based cubes, to create a noise-based Boolean function on a single wire. In our algorithms, the Boolean sum-of-products (SOP) formula is expressed in NBL as a superposition of its minterms. This noise-based representation of the SOP can then be compared with that of another SOP formula for equivalence checking (or with the noise-based formula representing tautology, for tautology checking) using a single operation. We validate our approach using software simulation. 2013 IEEE.
name of conference
2013 IEEE 31st International Conference on Computer Design (ICCD)
