Verifying Your Circuits

Research output: Contribution to journalReview articlepeer-review


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 languageEnglish (US)
Pages (from-to)106
Number of pages1
JournalScientific American
Issue number1
StatePublished - Jan 2004

ASJC Scopus subject areas

  • General


Dive into the research topics of 'Verifying Your Circuits'. Together they form a unique fingerprint.

Cite this