Abstract
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) |
---|---|
Pages (from-to) | 106 |
Number of pages | 1 |
Journal | Scientific American |
Volume | 290 |
Issue number | 1 |
DOIs | |
State | Published - Jan 2004 |
ASJC Scopus subject areas
- General