Transistors make beautiful regenerative switches, thereby enabling complex configurations of electronic circuits to be hooked together into electronic systems to do very interesting things. Powerful computers are required for very rapidly “synthesizing” complex digital logic systems into their transistor circuit equivalents, and then, of course, logically verifying that its logic is correct. Electronic circuits exist for performing an almost infinite variety of electronic functions: amplify a weak signal, convert a signal from digital to analog and back again. The on/off binary nature of transistor switches can be conveniently translated into “true” or “false” logical statements for electronic decision making, provided we possess binary mathematics with which to build the decision-making systems. The logical-to-physical mapping is completed by actually designing the silicon implementation of the requisite transistors and their interconnections.