Industrial Uses
Commercial use of automated theorem proving is mostly concentrated in integrated circuit design and verification. Since the Pentium FDIV bug, the complicated floating point units of modern microprocessors have been designed with extra scrutiny. Nowadays, AMD, Intel and others use automated theorem proving to verify that division and other operations are correctly implemented in their processors.
Read more about this topic: Automated Theorem Proving
Famous quotes containing the word industrial:
“If you do not regard feminism with an uplifting sense of the gloriousness of woman’s industrial destiny, or in the way, in short, that it is prescribed, by the rules of the political publicist, that you should, that will be interpreted by your opponents as an attack on woman.”
—Wyndham Lewis (1882–1957)
“As to a thorough eradication of prostitution, nothing can accomplish that save a complete transvaluation of all accepted values—especially the moral ones—coupled with the abolition of industrial slavery.”
—Emma Goldman (1869–1940)