An Algorithm for the PLA Equivalence Problem
Description:
The Programmable Logic Array (PLA) has been widely used in the design of VLSI circuits and systems because of its regularity, flexibility, and simplicity. The equivalence problem is typically to verify that the final description of a circuit is functionally equivalent to its initial description. Verifying the functional equivalence of two descriptions is equivalent to proving their logical equivalence. This problem of pure logic is essential to circuit design. The most widely used technique to …
more
Date:
December 1995
Creator:
Moon, Gyo Sik
Partner:
UNT Libraries