The Simple Mapping Account
We now move on to the second notion of correctness, that which governs physical devices. On the face of it, this raises a very different kind of conceptual problem from the mathematical one. Electronic devices fail for a variety of reasons: mechanical impact, excessive temperature, or very high voltage may all cause failure. How do we test such circuits for correctness? We have already indicated that some notion of verification is involved, but what form does it take? Here we are not referring to the use of formal techniques for establishing the correctness of the abstract digital circuit against its truth table specification .
Unable to display preview. Download preview PDF.