Noise-based Algorithms for Functional Equivalence and Tautology Checking Conference Paper uri icon

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.

author list (cited authors)

  • Lin, P., & Khatri, S. P.

citation count

  • 0

publication date

  • October 2013

publisher