Abstract
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 [32].
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer-Verlag GmbH Germany, part of Springer Nature
About this chapter
Cite this chapter
Turner, R. (2018). The Simple Mapping Account. In: Computational Artifacts. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-55565-1_27
Download citation
DOI: https://doi.org/10.1007/978-3-662-55565-1_27
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-55564-4
Online ISBN: 978-3-662-55565-1
eBook Packages: Computer ScienceComputer Science (R0)