The verification methods for digital circuits are discussed. These circuits uses AND and OR logic gates and each can be characterized by a truth table relating its two possible elements. The output of an AND gate is 1 only when both inputs are 1, and the output of an OR gate is 1 when either input is 1. The circuits can be tested by putting a binary value, either 1 or 0, in each of the inputs and seeing which values appear in the outputs.
|Original language||English (US)|
|Number of pages||1|
|State||Published - Jan 2004|
ASJC Scopus subject areas