The design of custom integrated circuits is an instance of the more general problem of the design of complex systems. Certainly if circuits are to be designed that contain between half a million and a million transistors, then techniques for the design of complex systems must be introduced that will assure quick, correct, and economical construction of the fabricated circuits. The established m...